Автор: Leonore D. Zuck Підтримка1 Електронні книги від Leonore D. Zuck Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation … PDF Англійська DRM €57.35 0 0 закінчення роботи 0,00 × × × Змінення мови користувача × АрабськоюНімецькаАнглійськаІспанськаФранцузькийХіндіІндонезійськаІталійськаМалайськаГолландськаПольськаПортугальськаРумунськаросійськийШведськаТайськаТурецькаУкраїнськаВ’єтнамціКитайціInternational Modal ×