Verified Software. Theories, Tools, and Experiments

8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Verified Software. Theories, Tools, and Experiments

More books from Springer International Publishing

bigCover of the book Coronary Artery CTA by
bigCover of the book Applying Test Equating Methods by
bigCover of the book The UNC-53-mediated Interactome by
bigCover of the book Applied Artificial Intelligence: Where AI Can Be Used In Business by
bigCover of the book The Pedagogy of English as an International Language by
bigCover of the book Basic Concepts in Computational Physics by
bigCover of the book Augmented Reality, Virtual Reality, and Computer Graphics by
bigCover of the book Evaluation of Novel Approaches to Software Engineering by
bigCover of the book Managing Knowledge and Innovation for Business Sustainability in Africa by
bigCover of the book Entrepreneurial Finance for MSMEs by
bigCover of the book Image Analysis by
bigCover of the book The Impact of Service Oriented Architecture Adoption on Organizations by
bigCover of the book LQG for the Bewildered by
bigCover of the book Big Data Technologies for Monitoring of Computer Security: A Case Study of the Russian Federation by
bigCover of the book Indentation Testing of Biological Materials 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