Gå direkt till innehållet
Integrated Formal Methods
Spara

Integrated Formal Methods

This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012.
Undertitel
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Upplaga
2012 ed.
ISBN
9783642307287
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
6.6.2012
Sidor
360