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 Engineering Applications of FPGAs by
bigCover of the book Hybrid and Hierarchical Composite Materials by
bigCover of the book Cognitive Abilities and Educational Outcomes by
bigCover of the book Innovation in Climate Change Adaptation by
bigCover of the book European Yearbook of International Economic Law 2017 by
bigCover of the book Exploring the Role of Strategic Intervention in Form-focused Instruction by
bigCover of the book Responses of Fruit Trees to Global Climate Change by
bigCover of the book Metabolic Disorders and Critically Ill Patients by
bigCover of the book Meanings & Co. by
bigCover of the book The Economics and Policy of Solar Photovoltaic Generation by
bigCover of the book Biotechnologies of Crop Improvement, Volume 1 by
bigCover of the book Thermodynamic Properties of Cryogenic Fluids by
bigCover of the book Reconsidering National Plays in Europe by
bigCover of the book Obstetrics Essentials by
bigCover of the book Unconsciousness Between Phenomenology and Psychoanalysis 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