Automated technology for verification and analysis : 7th International symposium, ATVA 2009 : Macao, China, october 144-16, 2009 : Proceedings / Zhiming Liu, Anders P. Ravn (Eds.)

• Record Nr.: UNISA990003339940203316
• Autore: International Symposium, ATVA 2009 : <7.; : 2009
• Pubbl/distr/stampa: Berlin [etc.] : Springer, copyr. 2009
• ISBN: 978-3-642-04760-2
• Descrizione fisica: X, 414 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 5799
• Disciplina: 005.1
• Soggetti: Informatica - Congressi - Macao - 2009
• Collocazione: 001 LNCS 5799
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia