Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings PDF
Edited by Tiziana Margaria, Bernhard Steffen
Part of the Lecture Notes in Computer Science series
Please note: eBooks can only be purchased with a UK issued credit card and all our eBooks (ePub and PDF) are DRM protected.
Information
-
Download - Immediately Available
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:02/11/2010
- Category:
- ISBN:9783642165610
Information
-
Download - Immediately Available
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:02/11/2010
- Category:
- ISBN:9783642165610
