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

 
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

Al momento non sono disponibili copie per questo codice ISBN.

Lingua
Inglese
ISBN 10 
3642182763
ISBN 13 
9783642182761
Rilegatura
Tapa blanda
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