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 RNA and DNA Diagnostics by
Cover of the book Respiratory Medicine and Science by
Cover of the book New Perspectives on Approximation and Sampling Theory by
Cover of the book Interculturalism and Performance Now by
Cover of the book Requirements Engineering for Digital Health by
Cover of the book American Education and the Demography of the US Student Population, 1880 – 2014 by
Cover of the book Algae Biomass: Characteristics and Applications by
Cover of the book The Mechanobiology and Mechanophysiology of Military-Related Injuries by
Cover of the book Seasonal Adjustment Methods and Real Time Trend-Cycle Estimation by
Cover of the book Quantum Variational Calculus by
Cover of the book Pericyte Biology in Different Organs by
Cover of the book Ancient Views on the Quality of Life by
Cover of the book Competitiveness of Global Agriculture by
Cover of the book The Contribution of the Postal and Delivery Sector by
Cover of the book The Mathematics of Networks of Linear 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