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 Knowledge Transfer between Computer Vision and Text Mining by
bigCover of the book Inflammasome Signaling and Bacterial Infections by
bigCover of the book Advances in Metaheuristics Algorithms: Methods and Applications by
bigCover of the book Friction Material Composites by
bigCover of the book Grand Challenges in Marine Biotechnology by
bigCover of the book Home Visitation Programs by
bigCover of the book Hesitant Histories on the Romanian Screen by
bigCover of the book Managing Software Crisis: A Smart Way to Enterprise Agility by
bigCover of the book Practical Strategies and Tools to Promote Treatment Engagement by
bigCover of the book Politics in South Asia by
bigCover of the book Robotic Sailing 2017 by
bigCover of the book Nuclear Receptors: From Structure to the Clinic by
bigCover of the book Democracy Promotion and the Normative Power Europe Framework by
bigCover of the book Artists’ Voices in Cultural Policy by
bigCover of the book Logical Form 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