Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings - Brossura

 
9783319249544: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Brossura
ISBN 10: 3319249541 ISBN 13: 9783319249544
Casa editrice: Springer, 2016

Al momento non sono disponibili copie per questo codice ISBN.

Editore
Springer
Data di pubblicazione
2016
Lingua
Inglese
ISBN 10 
3319249541
ISBN 13 
9783319249544
Rilegatura
Paperback
Numero di pagine
536
Redattore
Finkbeiner Bernd, Pu Geguang, Zhang Lijun
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9783319249520: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings: 9364

Edizione in evidenza

ISBN 10:  3319249525 ISBN 13:  9783319249520
Casa editrice: Springer, 2015
Brossura