Articoli correlati a Verification, Model Checking, and Abstract Interpretation....

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

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

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