Verification, Model Checking, and Abstract Interpretation
- ISBN
- 9783540436317
Verification, Model Checking, and Abstract Interpretation è un verification, computer programs book di Agostino Cortesi.
Scopri Verification, Model Checking, and Abstract Interpretation di Agostino Cortesi, verification.
Sull'Autore
è l'autore di Verification, Model Checking, and Abstract Interpretation. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di Agostino Cortesi →Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation è un libro di Verification, Computer programs.
Chi ha scritto Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation è stato scritto da Agostino Cortesi.