Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Nonfiction, Computers, Advanced Computing, Computer Science, Programming, Software Development, General Computing
Cover of the book Verified Software. Theories, Tools, and Experiments by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319723082
Publisher: Springer International Publishing Publication: December 15, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319723082
Publisher: Springer International Publishing
Publication: December 15, 2017
Imprint: Springer
Language: English

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.

The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.

The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

More books from Springer International Publishing

Cover of the book Risk Assessment and Risk-Driven Quality Assurance by
Cover of the book Women of Words in Le Morte Darthur by
Cover of the book Planning and Analyzing Clinical Trials with Composite Endpoints by
Cover of the book Computer Vision – ECCV 2018 by
Cover of the book Climate Change Adaptation in Pacific Countries by
Cover of the book New Production Technologies in Aerospace Industry by
Cover of the book Complementary and Alternative Medicine by
Cover of the book Formal Techniques for Safety-Critical Systems by
Cover of the book Nonlinear Dynamics of Structures by
Cover of the book Emotional Engineering, Vol.5 by
Cover of the book Metal Nanoparticles in Pharma by
Cover of the book International Perspectives on the Teaching and Learning of Geometry in Secondary Schools by
Cover of the book Mobile Computing, Applications, and Services by
Cover of the book Health Risks and Fair Compensation in the Fire Service by
Cover of the book Advances in Condition Monitoring of Machinery in Non-Stationary Operations 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