Yazar
Francesco Logozzo
2 cilt bulundu.
Cilt sonuçları
Static Analysis
Francesco Logozzo, Manuel Fähndrich · Springer
511 sayfa · 2013
Computer programming / Programming languages (electronic computers) / Multivariate analysis / Software engineering / Computer science
Verification, Model Checking, and Abstract Interpretation
Francesco Logozzo, Doron A. Peled, Leonore D. Zuck · Springer London, Limited
Sayfa sayısı yok · 2008
Kategori yok