Siirry suoraan sisältöön
FM 2011: Formal Methods
Tallenna

FM 2011: Formal Methods

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.
Alaotsikko
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
ISBN
9783642214363
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
16.6.2011
Sivumäärä
450