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 Doing Good Parenthood by
bigCover of the book Social Structure, Value Orientations and Party Choice in Western Europe by
bigCover of the book Non-technological Innovations for Sustainable Transport by
bigCover of the book Intelligent Interactive Multimedia Systems and Services by
bigCover of the book Harmonization and Development of Resources and Tools for Italian Natural Language Processing within the PARLI Project by
bigCover of the book Geospatial Technologies for All by
bigCover of the book Diagnostic and Therapeutic Nuclear Medicine for Neuroendocrine Tumors by
bigCover of the book Gastric Cancer by
bigCover of the book Smart Card Research and Advanced Applications by
bigCover of the book Advances in Bio-Mechanical Systems and Materials by
bigCover of the book Analysis of Images, Social Networks and Texts by
bigCover of the book Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing by
bigCover of the book Aesthetics of Interdisciplinarity: Art and Mathematics by
bigCover of the book 2nd Karl Schwarzschild Meeting on Gravitational Physics by
bigCover of the book Yoga Traveling 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