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

More books from Springer International Publishing

bigCover of the book Proceedings of the Second International Conference on Mechatronics and Automatic Control by
bigCover of the book Postharvest Biology and Technology of Temperate Fruits by
bigCover of the book Healthy at Work by
bigCover of the book Fibre Optic Communication by
bigCover of the book Carbon-related Materials in Recognition of Nobel Lectures by Prof. Akira Suzuki in ICCE by
bigCover of the book The Unprecedented 2016 Presidential Election by
bigCover of the book Ubiquitous Networking by
bigCover of the book Modern Discrete Mathematics and Analysis by
bigCover of the book A Systems Biology Approach to Advancing Adverse Outcome Pathways for Risk Assessment by
bigCover of the book Handbook of Theory and Practice of Sustainable Development in Higher Education by
bigCover of the book Cyber Security: Analytics, Technology and Automation by
bigCover of the book Crohn’s Disease by
bigCover of the book Transforming Through Processes by
bigCover of the book Concise Dictionary of Engineering by
bigCover of the book Visionary Women and Visible Children, England 1900-1920 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