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

Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012;
Alaotsikko
15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Painos
2012 ed.
ISBN
9783642332951
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
11.8.2012
Sivumäärä
227