Autor: Leonore D. Zuck Apoio1 Ebooks por Leonore D. Zuck Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation … PDF Inglês DRM €58.19 0 0 Confira 0,00 × × × Alterar idioma do usuário × ÁrabeAlemãoInglêsEspanholFrancêsHindiIndonésioItalianoMalaioHolandêsPolonêsPortuguêsRomenoRussoSuecoTailandêsTurcoUcranianoVietnamitaChinêsInternational Modal ×