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 Low Complexity MIMO Receivers by

bigCover of the book New Perspectives in End-User Development by

bigCover of the book High Performance Soft Magnetic Materials by

bigCover of the book Paleogene larger rotaliid foraminifera from the western and central Neotethys by

bigCover of the book Exploring Memory Hierarchy Design with Emerging Memory Technologies by

bigCover of the book Information Sciences and Systems 2013 by

bigCover of the book Mathematical Modeling of Social Relationships by

bigCover of the book Robotic Grasping and Manipulation by

bigCover of the book Testing and Characterization of Sustainable Innovative Bituminous Materials and Systems by

bigCover of the book Strategies and Techniques for Quality and Flexibility by

bigCover of the book Quantum Biological Information Theory by

bigCover of the book Quality of Life in Urban Landscapes by

bigCover of the book Biomimetics for Architecture & Design by

bigCover of the book Coleridge and the Romantic Newspaper by

bigCover of the book Knowledge Science, Engineering and Management 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