Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

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: Discussion, Dissemination, Applications

More books from Springer International Publishing

bigCover of the book Hardware and Software: Verification and Testing by

bigCover of the book The 1940 Vrancea Earthquake. Issues, Insights and Lessons Learnt by

bigCover of the book Simulation of Optical Soliton Control in Micro- and Nanoring Resonator Systems by

bigCover of the book Traffic and Granular Flow '15 by

bigCover of the book Biomimetic and Biohybrid Systems by

bigCover of the book Cognitive Neuroscience of Memory Consolidation by

bigCover of the book Acute Side Effects of Radiation Therapy by

bigCover of the book Knowledge Representation for Health Care by

bigCover of the book Miniature Fluidic Devices for Rapid Biological Detection by

bigCover of the book Basic Organic Chemistry for the Life Sciences by

bigCover of the book Attractive Ellipsoids in Robust Control by

bigCover of the book Post-harvest Pathology by

bigCover of the book Mollusk shells as bio-geo-archives by

bigCover of the book Ethics Across the Curriculum—Pedagogical Perspectives 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