Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007 : Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski(Ed.)

• Record Nr.: UNISA990002997870203316
• 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