Hardware and Software: Verification and Testing
by Armin Biere
- ISBN
- 9783642396106
Hardware and Software: Verification and Testing è un mathematical logic and formal languages, software engineering book di Armin Biere.
Informazioni su questo libro
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.
Sull'Autore
è l'autore di Hardware and Software: Verification and Testing. 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 è Hardware and Software: Verification and Testing?+
Hardware and Software: Verification and Testing è un libro di Mathematical Logic and Formal Languages, Software engineering, Logic design, Logics and Meanings of Programs, Computer science.
Di cosa parla Hardware and Software: Verification and Testing?+
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They...
Chi ha scritto Hardware and Software: Verification and Testing?+
Hardware and Software: Verification and Testing è stato scritto da Armin Biere.