Tallenna
Formal Methods: Foundations and Applications
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.
- Alaotsikko
- 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
- Toimittaja
- Marcel Vinícius Medeiros Oliveira, Jim Woodcock
- Painos
- 2009 ed.
- ISBN
- 9783642104510
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 9.11.2009
- Sivumäärä
- 351
