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 Fundamentals of Tropical Climate Dynamics by
Cover of the book Basic Sciences in Anesthesia by
Cover of the book Emission of Radio Waves in Particle Showers by
Cover of the book Writing the Structures of the Subject by
Cover of the book Eisenhower and American Public Opinion on China by
Cover of the book Dupuytren Disease and Related Diseases - The Cutting Edge by
Cover of the book Security, Privacy, and Anonymity in Computation, Communication, and Storage by
Cover of the book E-Learning and Games by
Cover of the book Advances in Evolutionary and Deterministic Methods for Design, Optimization and Control in Engineering and Sciences by
Cover of the book Policy-Making at the European Periphery by
Cover of the book American League Franchises by
Cover of the book Simulation of Optical Soliton Control in Micro- and Nanoring Resonator Systems by
Cover of the book The Shape and Size of the Earth by
Cover of the book Knowledge Management in Organizations by
Cover of the book The Job Guarantee and Modern Money Theory 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