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 Innovative Security Solutions for Information Technology and Communications by
bigCover of the book Tolerance and Dissent within Education by
bigCover of the book Practical Manual of Tricuspid Valve Diseases by
bigCover of the book Dirichlet by
bigCover of the book The Sustainable Role of the Tree in Environmental Protection Technologies by
bigCover of the book Theory and Applications of Formal Argumentation by
bigCover of the book Integrated Devices for Quantum Information with Polarization Encoded Qubits by
bigCover of the book Artificial Intelligence in Medicine by
bigCover of the book Galileo Galilei by
bigCover of the book Emerging and Evolving Topics in Multiple Sclerosis Pathogenesis and Treatments by
bigCover of the book Gender and Corruption by
bigCover of the book Computational Methods and Clinical Applications for Spine Imaging by
bigCover of the book Nonlinear Dynamics, Volume 1 by
bigCover of the book Engineering Psychology and Cognitive Ergonomics by
bigCover of the book Collaborative Innovation Networks 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