Automated Technology for Verification and Analysis - Brossura

 
9783540816461: Automated Technology for Verification and Analysis
Brossura
ISBN 10: 3540816461 ISBN 13: 9783540816461
Casa editrice: Springer, 2008

Al momento non sono disponibili copie per questo codice ISBN.

Editore
Springer
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
3540816461
ISBN 13 
9783540816461
Rilegatura
Paperback
Numero di pagine
524
Redattore
Peled Doron A., Tsay Yih-Kuen
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9783540236108: Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings: 3299

Edizione in evidenza

ISBN 10:  3540236104 ISBN 13:  9783540236108
Casa editrice: Springer Berlin Heidelberg, 2008
Brossura