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
Pas encore d'évaluations
Apr 8, 2011 · Anglais · Broché (208 pages)
Ajouter à l'étagère

Évaluer ce livre

Exporter le journal de lecture

Détails du livre

Format Broché
Pages 208
Langue Anglais
Publié Apr 8, 2011
Éditeur Springer
ISBN-10 3642195849
ISBN-13 9783642195846
Ajouter à l'étagère

Évaluer ce livre

Exporter le journal de lecture