Autor: Leonore D. Zuck Soporte1 Ebooks de Leonore D. Zuck Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation … PDF Inglés DRM €57.35 0 0 Caja 0,00 × × × Cambiar idioma de usuario × ÁrabeAlemánInglésEspañolFrancésHindúIndonesioItalianoMalayoHolandésPolacoPortuguésRumanoRusoSuecoTailandésTurcoUcranioVietnamitaChinoInternational Modal ×