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 Machine Learning and Data Mining for Sports Analytics by

bigCover of the book Encountering, Experiencing and Shaping Careers by

bigCover of the book The Spectacle of Politics and Religion in the Contemporary Turkish Cinema by

bigCover of the book Congenital Anomalies of the Penis by

bigCover of the book Sociality and Normativity for Robots by

bigCover of the book Fuzzy Solution Concepts for Non-cooperative Games by

bigCover of the book Experimental Research in Earthquake Engineering by

bigCover of the book Agricultural Proteomics Volume 1 by

bigCover of the book The Synthetic Nitrogen Industry in World War I by

bigCover of the book Non-Hermitian Hamiltonians in Quantum Physics by

bigCover of the book Complaint Management and Channel Choice by

bigCover of the book Copyright Versus Open Access by

bigCover of the book IsoGeometric Analysis: A New Paradigm in the Numerical Approximation of PDEs by

bigCover of the book The Contemporary Islamic Governed State by

bigCover of the book Rethinking Capital 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