Auteur: Leonore D. Zuck Ondersteuning1 Ebooks door Leonore D. Zuck Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation … PDF Engels DRM €58.19 0 0 Kassa 0,00 × × × Wijzig gebruikerstaal × ArabischDuitsEngelsSpaansFransHindiIndonesischItaliaansMaleisNederlandsPoolsPortugeesRoemeenseRussischZweedsThaisTurksOekraïensVietnameesChineseInternational Modal ×