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

Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013.
Undertittel
16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
Opplag
2013 ed.
ISBN
9783642410703
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
13.9.2013
Antall sider
243