Spara
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.
- Undertitel
- 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
- Upplaga
- 2009 ed.
- ISBN
- 9783642104510
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2009-11-09
- Sidor
- 351
