Autor: Leonore D. Zuck Ajutor1 Ebooks de Leonore D. Zuck Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation … PDF Engleză DRM €58.19 0 0 Casa 0,00 × × × Schimbați limba utilizatorului × ArabicGermanăEnglezăSpaniolăFrancezaHindusă IndonezianăItalianaMalaezianOlandezăPolonezăPortughezăRomânescRusăSuedezăTailandezTurcUcraineanVietnamezăChinezInternational Modal ×