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

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;
Undertittel
14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
Opplag
2011
ISBN
9783642250316
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
28.10.2011
Antall sider
205