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

 
9783642195846: Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Brossura
ISBN 10: 3642195849 ISBN 13: 9783642195846
Casa editrice: Springer, 2011

Al momento non sono disponibili copie per questo codice ISBN.

Editore
Springer
Data di pubblicazione
2011
Lingua
Inglese
ISBN 10 
3642195849
ISBN 13 
9783642195846
Rilegatura
Paperback
Numero di pagine
208
Redattore
Barner Sharon, Harris Ian, Kroening Daniel
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3642195822 ISBN 13:  9783642195822
Casa editrice: Springer, 2011
Brossura