Leveraging Applications of Formal Methods, Verification, and Validation

6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Nonfiction, Computers, Programming, Software Development, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Leveraging Applications of Formal Methods, Verification, and Validation

More books from Springer International Publishing

bigCover of the book From Animals to Animats 15 by

bigCover of the book Democracy Promotion and the Normative Power Europe Framework by

bigCover of the book Dissemination of Cartographic Knowledge by

bigCover of the book Grid Optimal Integration of Electric Vehicles: Examples with Matlab Implementation by

bigCover of the book Basic Concepts in Computational Physics by

bigCover of the book Nanostructures and Thin Films for Multifunctional Applications by

bigCover of the book Concise Computer Mathematics by

bigCover of the book Novel Developments in Uncertainty Representation and Processing by

bigCover of the book Contemporary Issues in International Business by

bigCover of the book The Orient, the Liberal Movement, and the Eastern Crisis of 1839-41 by

bigCover of the book Nutrition Support for the Critically Ill by

bigCover of the book Urban Sustainability: Policy and Praxis by

bigCover of the book The Vegetation of the Iberian Peninsula by

bigCover of the book Industrial Applications of Affective Engineering by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy