Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

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: Foundational Techniques

More books from Springer International Publishing

bigCover of the book Emerging Trends in Electrical, Electronic and Communications Engineering by

bigCover of the book Random Sets and Random Fuzzy Sets as Ill-Perceived Random Variables by

bigCover of the book Science Education in East Asia by

bigCover of the book Integrated Waste Management in India by

bigCover of the book CMOS 60-GHz and E-band Power Amplifiers and Transmitters by

bigCover of the book Shipping Operations Management by

bigCover of the book Advances in Shape Memory Materials by

bigCover of the book Verified Software: Theories, Tools and Experiments by

bigCover of the book Transdisciplinary Urbanism and Culture by

bigCover of the book Advances in Carbon Dioxide Compression and Pipeline Transportation Processes by

bigCover of the book Universal Access in Human-Computer Interaction. Access to the Human Environment and Culture by

bigCover of the book Atlas of Esophageal Surgery by

bigCover of the book The Ethics of Biomedical Big Data by

bigCover of the book Radionanomedicine by

bigCover of the book Contemporary Trends in Accounting, Finance and Financial Institutions 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