Autore: Leonore D. Zuck Supporto1 Ebook di Leonore D. Zuck Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation … PDF Inglese DRM €58.19 0 0 Cassa 0,00 × × × Cambia la lingua dell'utente × AraboTedescoIngleseSpagnoloFranceseHindiIndonesianoItalianoMaleseOlandesePolaccoPortogheseRumenoRussoSvedeseTailandeseTurcoUcrainoVietnamitaCineseInternational Modal ×