International conference on formal engineering methods, ICFEM 2009 : <11.; : 2009
Titolo
Formal methods and software engineering : 11th international conference on formal engineering methods, ICFEM 2009 : Rio de Janeiro, brazil, december 9-12, 2009 : proceedings / Karin Breitman, Ana Cavalcanti (Eds.)
Pubbl/distr/stampa
Berlin [etc.] : Springer, copyr. 2009
ISBN
978-3-642-10372-8
Descrizione fisica
XIV, 758 p. : ill. ; 24 cm
Collana
Lecture notes in computer science ; 5885
Disciplina
004.01
Soggetti
Elaboratori -- Programmazione -- Atti di congressi
Programmi per elaboratori -- Progettazione -- Atti di congressi