Computer Aided Verification 24th International Conference
- ISBN
- 9783642314230
Computer Aided Verification 24th International Conference è un computer software, verification book di Madhusudan Parthasarathy.
Scopri Computer Aided Verification 24th International Conference di Madhusudan Parthasarathy, computer software, verification.
Sull'Autore
è l'autore di Computer Aided Verification 24th International Conference. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di Madhusudan Parthasarathy →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 è Computer Aided Verification 24th International Conference?+
Computer Aided Verification 24th International Conference è un libro di Computer software, verification.
Chi ha scritto Computer Aided Verification 24th International Conference?+
Computer Aided Verification 24th International Conference è stato scritto da Madhusudan Parthasarathy.