Auteur: Leonore D. Zuck Support1 Ebooks par Leonore D. Zuck Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation … PDF Anglais DRM €58.19 0 0 Caisse 0,00 × × × Changer la langue de l'utilisateur × ArabeAllemandAnglaisEspagnolFrançaisHindiIndonésienItalienMalaisNéerlandaisPolonaisPortugaisRoumainRusseSuédoisThaïlandaisTurcUkrainienVietnamienChinoisInternational Modal ×