1.
Record Nr.
UNISA990003415790203316
Autore
Brazilian symposium on formal methods, SBMF 2009 : <12.; : 2009>
Titolo
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.)
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