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 Creative Writing for Critical Thinking by

bigCover of the book Application of Wavelets in Speech Processing by

bigCover of the book The Story of Light Science by

bigCover of the book Scalable Information Systems by

bigCover of the book Assessing Social Impact of Social Enterprises by

bigCover of the book Democracy in the EMU in the Aftermath of the Crisis by

bigCover of the book Analysis and Partial Differential Equations: Perspectives from Developing Countries by

bigCover of the book Progress in Ultrafast Intense Laser Science XIV by

bigCover of the book Microwave Radiation of the Ocean-Atmosphere by

bigCover of the book Polymer and Photonic Materials Towards Biomedical Breakthroughs by

bigCover of the book Lessons From Fukushima by

bigCover of the book Global Space Governance: An International Study by

bigCover of the book Computational Science and Its Applications – ICCSA 2017 by

bigCover of the book Hardware/Software Co-Design and Optimization for Cyberphysical Integration in Digital Microfluidic Biochips by

bigCover of the book Robert Grosseteste and the pursuit of Religious and Scientific Learning in the Middle Ages 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