1.
Record Nr.
UNISA990002997870203316
Titolo
Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007 : Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski(Ed.)
Pubbl/distr/stampa
Berlin : Springer, [c2007]
ISBN
3-540-69735-0
Descrizione fisica
XI, 394 p. : ill. ; 20 cm
Collana
Lecture Notes in Computer Science ; 4349
Disciplina
005.1
Soggetti
Programmazione - Congressi - Nice - 2007
Collocazione
001 LNCS 4349
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia