Verification, Model Checking, and Abstract Interpretation. 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings - Brossura

Ranjit Jhala

 
9783642182761: Verification, Model Checking, and Abstract Interpretation. 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
Brossura
ISBN 10: 3642182763 ISBN 13: 9783642182761
Casa editrice: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2011

Al momento non sono disponibili copie per questo codice ISBN.

Editore
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Data di pubblicazione
2011
Lingua
Inglese
ISBN 10 
3642182763
ISBN 13 
9783642182761
Rilegatura
Copertina flessibile
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9783642182747: Verification, Model Checking, and Abstract Interpretation: 12th International Conference, Vmcai 2011, Austin, Tx, USA, January 23-25, 2011 Proceedings (6538)

Edizione in evidenza

ISBN 10:  3642182747 ISBN 13:  9783642182747
Casa editrice: Springer-Nature New York Inc, 2011
Brossura