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 The Politics of Healthcare Reform in Turkey by

bigCover of the book Philosophical Explorations of the Legacy of Alan Turing by

bigCover of the book Interdisciplinary Applications of Kinematics by

bigCover of the book Dependable Software Engineering. Theories, Tools, and Applications by

bigCover of the book Steven Spielberg's Style by Stealth by

bigCover of the book Competing on Supply Chain Quality by

bigCover of the book Medical Robotics by

bigCover of the book Computer Aided Systems Theory – EUROCAST 2017 by

bigCover of the book Psychological Ownership and Consumer Behavior by

bigCover of the book Pohl's Introduction to Physics by

bigCover of the book Computational Collective Intelligence by

bigCover of the book Community-Based Forest Management (CBFM) in Bangladesh by

bigCover of the book Servitization in Industry by

bigCover of the book Pragmemes and Theories of Language Use 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