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 The Role of Nurses in Disaster Management in Asia Pacific by
bigCover of the book Code Breaking in the Pacific by
bigCover of the book The Quadratic Reciprocity Law by
bigCover of the book Evolutionary Perspectives on Social Psychology by
bigCover of the book Geometric Optics by
bigCover of the book The Making and Meaning of Relationships in Sri Lanka by
bigCover of the book Theory of Distributions by
bigCover of the book Cyclodextrin Applications in Medicine, Food, Environment and Liquid Crystals by
bigCover of the book Research and Development in Intelligent Systems XXXI by
bigCover of the book Lectures on the Nearest Neighbor Method by
bigCover of the book Membrane Computing by
bigCover of the book Functional Metamaterials and Metadevices by
bigCover of the book Controlled Reproduction of Wild Eurasian Perch by
bigCover of the book Clinical Autonomic Dysfunction by
bigCover of the book Equations Involving Malliavin Calculus Operators 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