Computer Aided Verification
by Armin Biere
Computer software, verificationComputer scienceComputer network architecturesSoftware engineeringLogic design
Browse all genres - ISBN
- 9783319088662
Computer Aided Verification è un computer software, verification, computer science book di Armin Biere.
Scopri Computer Aided Verification di Armin Biere, computer software, verification.
Sull'Autore
è l'autore di Computer Aided Verification. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di Armin Biere →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?+
Computer Aided Verification è un libro di Computer software, verification, Computer science, Computer network architectures, Software engineering, Logic design.
Chi ha scritto Computer Aided Verification?+
Computer Aided Verification è stato scritto da Armin Biere.