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 Green Inside Activism for Sustainable Development by

bigCover of the book Recent Advances on Hybrid Approaches for Designing Intelligent Systems by

bigCover of the book The Search for Human Chromosomes by

bigCover of the book Specific Intermolecular Interactions of Element-Organic Compounds by

bigCover of the book Web and Big Data by

bigCover of the book Engineering Psychology and Cognitive Ergonomics by

bigCover of the book Clinical Pearls in Diagnostic Cardiac Computed Tomographic Angiography by

bigCover of the book On-Surface Synthesis II by

bigCover of the book Machine Learning in VLSI Computer-Aided Design by

bigCover of the book Reviews of Physiology, Biochemistry and Pharmacology, Vol. 171 by

bigCover of the book Photonic Materials for Sensing, Biosensing and Display Devices by

bigCover of the book Current Controversies in Cancer Care for the Surgeon by

bigCover of the book Advances in Intelligent Data Analysis XIV by

bigCover of the book Carbon Nanomaterials for Biomedical Applications by

bigCover of the book Intelligent Natural Language Processing: Trends and Applications 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