Gå direkt till innehållet
Formal Methods: Foundations and Applications
Spara

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.
Undertitel
16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
Upplaga
2013 ed.
ISBN
9783642410703
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2013-09-13
Sidor
243