Autor: Leonore D. Zuck Support1 Ebooks von Leonore D. Zuck Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation … PDF Englisch DRM €58.19 0 0 zur Kasse 0,00 × × × Benutzersprache ändern × ArabischDeutschEnglischSpanischFranzösischHindiIndonesischItalienischMalaiischNiederländischPolnischPortugiesischRumänischRussischSchwedischThaiTürkischUkrainischVietnamesischChinesischInternational Modal ×