Formal methods: foundations and applications : 12th brazilian symposium on formal methods, SBMF 2009 : Gramado, Brazil, august 19-21, 2009 : revised selected papers / Marcel Vinìcius Medeiros Oliveira, Jim Woodcock (Eds.)

• Record Nr.: UNISA990003415790203316
• Autore: Brazilian symposium on formal methods, SBMF 2009 : <12.; : 2009>
• Pubbl/distr/stampa: Berlin [etc.] : Springer, copyr. 2009
• ISBN: 978-3-642-10451-0
• Descrizione fisica: X, 349 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 5902
• Disciplina: 004
• Soggetti: Informatica - Atti di congressi
• Collocazione: 001 LNCS 5902
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia