Verification, Model Checking, and Abstract Interpretation
- ISBN
- 9783540305798
Verification, Model Checking, and Abstract Interpretation è un vérification, verification book di Radhia Cousot.
Scopri Verification, Model Checking, and Abstract Interpretation di Radhia Cousot, vérification.
Sull'Autore
è l'autore di Verification, Model Checking, and Abstract Interpretation. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di Radhia Cousot →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 Vérification, Verification, Logiciels, Computer programs.
Chi ha scritto Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation è stato scritto da Radhia Cousot.