|
Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
|
Buy Now
Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers (Paperback, 1st ed. 2018)
Loot Price: R1,489
Discovery Miles 14 890
|
|
|
Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers (Paperback, 1st ed. 2018)
Series: Programming and Software Engineering, 11294
Expected to ship within 10 - 15 working days
|
This volume constitutes the thoroughly refereed post-conference
proceedings of the 10th International Conference on Verified
Software: Theories, Tools, and Experiments, VSTTE 2018, held in
Oxford, UK, in July 2018. The 19 full papers presented were
carefully revised and selected from 24 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
