Siirry suoraan sisältöön
Integrated Formal Methods
Tallenna

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.
Alaotsikko
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Painos
2012 ed.
ISBN
9783642307287
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
6.6.2012
Sivumäärä
360