Siirry suoraan sisältöön
Formal Methods: Foundations and Applications
Tallenna

Formal Methods: Foundations and Applications

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011;
Alaotsikko
14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
Painos
2011
ISBN
9783642250316
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
28.10.2011
Sivumäärä
205