Spar
Leveraging Applications of Formal Methods, Verification and Validation
Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
- Undertittel
- 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
- Redaktør
- Tiziana Margaria, Bernhard Steffen
- Opplag
- 2012 ed.
- ISBN
- 9783642340253
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 11.9.2012
- Antall sider
- 617
