Verification, Model Checking, and Abstract Interpretation
- ISBN
- 9783540697381
Verification, Model Checking, and Abstract Interpretation è un computer programming, computers book di Kedar S. Namjoshi.
Scopri Verification, Model Checking, and Abstract Interpretation di Kedar S. Namjoshi, computer programming.
Sull'Autore
è l'autore di Verification, Model Checking, and Abstract Interpretation. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di Kedar S. Namjoshi →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 Computer Programming, Computers, Computers - General Information, Computer Books: General, Logic Design.
Chi ha scritto Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation è stato scritto da Kedar S. Namjoshi.