Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science) - 5th Edition, Paperback

Springer-Verlag Berlin and Heidelberg GmbH &

Release Date 1/10/2014
ISBN-13 9783642541070 |
ISBN 3642541070 |
Format Paperback
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.

About our price comparison.

Give us feedback

Got an opinion on this product? Review it!

FindersCheapers strives to maintain the accuracy of product and pricing information displayed on our site, but we do not guarantee the accuracy of the information. If there is a pricing, coupon, or other information discrepancy between FindersCheapers and a merchant's site then the information on the merchant's site will apply. FindersCheapers cannot be held liable for any actions taken based on the information provided and FindersCheapers shall not be held responsible for any loss or damage resulting from business conducted with companies listed on FindersCheapers. FindersCheapers receives compensation from all merchants whose products are displayed. Refer to our Conditions of Use and About Us pages for complete details. To report a pricing error, click here.

Conditions of Use Privacy Notice About Us