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

Formal Methods: Foundations and Applications

This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.
Alaotsikko
13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
ISBN
9783642198281
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
23.3.2011
Sivumäärä
291