Gå direkte til innholdet
FM 2011: Formal Methods
Spar

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.
Undertittel
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
ISBN
9783642214363
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
16.6.2011
Antall sider
450