|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Verified Software: Theorie, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Paperback, 2014 ed.)
Loot Price: R2,462
Discovery Miles 24 620
|
|
|
Verified Software: Theorie, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Paperback, 2014 ed.)
Series: Programming and Software Engineering, 8164
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
