Leveraging Applications of Formal Methods, Verification and Validation
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012
66,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9783642340253
- ISBN-10
- 3642340253
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 2012
- Publication date
- 2012-09-11
- Pages
- 617
- Dimensions
- 235x155x