Gå direkte til innholdet
Integrated Formal Methods
Spar

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.
Undertittel
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Opplag
2012 ed.
ISBN
9783642307287
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
6.6.2012
Antall sider
360