Gå direkt till innehållet
FM 2011: Formal Methods
Spara

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.
Undertitel
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
ISBN
9783642214363
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2011-06-16
Sidor
450