Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Sharon Barner , Ian Harris , Daniel Kroening
Ancora nessuna valutazione
Apr 8, 2011 · Inglese · Brossura (208 pagine)
Aggiungi alla mensola

Valuta questo libro

Esporta diario dei libri

Dettagli del libro

Formato Brossura
Pagine 208
Lingua Inglese
Pubblicato Apr 8, 2011
Editore Springer
ISBN-10 3642195849
ISBN-13 9783642195846
Aggiungi alla mensola

Valuta questo libro

Esporta diario dei libri