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
Big bigCover of Leveraging Applications of Formal Methods, Verification, and Validation

More books from Springer International Publishing

bigCover of the book Shoulder Arthroscopy by
bigCover of the book Digital Transformation of the Consulting Industry by
bigCover of the book Modeling and Optimization: Theory and Applications by
bigCover of the book Mobile Payment Systems by
bigCover of the book Regional Science Matters by
bigCover of the book Ideology, Regionalism, and Society in Caribbean History by
bigCover of the book The Soils of Wisconsin by
bigCover of the book Risk Assessment and Risk-Driven Testing by
bigCover of the book A Course in Functional Analysis and Measure Theory by
bigCover of the book The Effects of Europeanization on the Integration Process in the Upper Adriatic Region by
bigCover of the book Emerging Contaminants in River Ecosystems by
bigCover of the book Advances in Mechanical Engineering by
bigCover of the book Handbook of Childhood Psychopathology and Developmental Disabilities Assessment by
bigCover of the book Sensors and Instrumentation, Aircraft/Aerospace, Energy Harvesting & Dynamic Environments Testing, Volume 7 by
bigCover of the book Narrative Medicine 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