|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers (Paperback, 1st ed. 2017)
Loot Price: R1,539
Discovery Miles 15 390
|
|
|
Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers (Paperback, 1st ed. 2017)
Series: Programming and Software Engineering, 10712
Expected to ship within 10 - 15 working days
|
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.
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
