Gå direkte til innholdet
Formal Methods: Foundations and Applications
Spar

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;
Undertittel
15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Opplag
2012 ed.
ISBN
9783642332951
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
11.8.2012
Antall sider
227