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 Research and Development in Intelligent Systems XXXIII by
bigCover of the book The Real Numbers by
bigCover of the book Governing Human Well-Being by
bigCover of the book Image and Video Technology – PSIVT 2015 Workshops by
bigCover of the book Mineral Resources of Turkey by
bigCover of the book Single-Molecule Fluorescence Spectroscopy of the Folding of a Repeat Protein by
bigCover of the book Computer Algebra and Polynomials by
bigCover of the book Food Nanoscience and Nanotechnology by
bigCover of the book Managing Complexity by
bigCover of the book Photoinduced Phenomena in Nucleic Acids I by
bigCover of the book Economic Integration, Currency Union, and Sustainable and Inclusive Growth in East Africa by
bigCover of the book The Decision to Delist from the Stock Market by
bigCover of the book Natural Nanogold by
bigCover of the book New Directions in Language Learning Psychology by
bigCover of the book Advanced Computer and Communication Engineering Technology 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