Spar
Leveraging Applications of Formal Methods, Verification and Validation
Constitutes the refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008. This book covers tools and applications in industrial software quality control.
- Undertittel
- Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
- Redaktør
- Tiziana Margaria, Bernhard Steffen
- Opplag
- 2008 ed.
- ISBN
- 9783540884781
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 14.10.2008
- Antall sider
- 869
