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 Parabolic Equations in Biology by
Cover of the book Admissibility and Hyperbolicity by
Cover of the book The Responsibilities of Online Service Providers by
Cover of the book Hard and Soft Computing for Artificial Intelligence, Multimedia and Security by
Cover of the book Geogames and Geoplay by
Cover of the book Generalized Connectivity of Graphs by
Cover of the book Cognitive Biases in Visualizations by
Cover of the book Information and Communications Security by
Cover of the book Handbook of Evidence-Based Stereotactic Radiosurgery and Stereotactic Body Radiotherapy by
Cover of the book Implementing Sustainability in the Curriculum of Universities by
Cover of the book The Jatropha Genome by
Cover of the book Mechanisms for CO2 Sequestration in Geological Formations and Enhanced Gas Recovery by
Cover of the book Tungsten Carbides by
Cover of the book Modeling Discrete-Event Systems with GPenSIM by
Cover of the book Formation, Evolution, and Dynamics of Young Solar Systems 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