Författare: Leonore D. Zuck Stöd1 E-böcker av Leonore D. Zuck Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation … PDF Engelska DRM €57.35 0 0 Kassa 0,00 × × × Ändra användarspråk × ArabiskaTyskaEngelskaSpanskaFranskaHindiIndonesiskaItalienskaMalajiskaHolländskaPutsaPortugisiskaRumänskaRyskaSvenskaThailändskaTurkiskaUkrainskavietnamesKinesiska International Modal ×