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 Radiation Oncology for Pediatric CNS Tumors by

bigCover of the book Ceramic Membranes Applied in Separation Processes by

bigCover of the book Moral Panics, Mental Illness Stigma, and the Deinstitutionalization Movement in American Popular Culture by

bigCover of the book High-Level Models of Unconventional Computations by

bigCover of the book Fifty Years of the British Indian Ocean Territory by

bigCover of the book Commercial Aircraft Composite Technology by

bigCover of the book Assemblies of Gold Nanoparticles at Liquid-Liquid Interfaces by

bigCover of the book Thyroid Disorders by

bigCover of the book Language for Teaching Purposes by

bigCover of the book The Consumer Benchmarks in the Unfair Commercial Practices Directive by

bigCover of the book Edge Detection Methods Based on Generalized Type-2 Fuzzy Logic by

bigCover of the book Supportive Cancer Care by

bigCover of the book Atlas of Airway Surgery by

bigCover of the book Polynomial Chaos Methods for Hyperbolic Partial Differential Equations 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