Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

More books from Springer International Publishing

bigCover of the book Managing by the Bhagavad Gītā by
bigCover of the book Cyberbullying Across the Globe by
bigCover of the book The Consequences of the Crisis on European Integration and on the Member States by
bigCover of the book Integrated Primary and Behavioral Care by
bigCover of the book Design, User Experience, and Usability: Technological Contexts by
bigCover of the book Philosophizing Madness from Nietzsche to Derrida by
bigCover of the book Turbulence in the Solar Wind by
bigCover of the book Political Theology and Pluralism by
bigCover of the book Population-Based Approaches to the Resource-Constrained and Discrete-Continuous Scheduling by
bigCover of the book Grating-Based X-Ray Phase-Contrast Mammography by
bigCover of the book Ethiopian Yearbook of International Law 2016 by
bigCover of the book A History of Western Public Law by
bigCover of the book The Formation, Structure and Activity of Phytochemicals by
bigCover of the book Australian Foreign Policy in Asia by
bigCover of the book Osteomyelitis of the Foot and Ankle 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