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

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;
Undertitel
15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Upplaga
2012 ed.
ISBN
9783642332951
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
11.8.2012
Sidor
227