|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Tests and Proofs - 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings (Paperback, 2015 ed.)
Loot Price: R2,083
Discovery Miles 20 830
|
|
|
Tests and Proofs - 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings (Paperback, 2015 ed.)
Series: Lecture Notes in Computer Science, 9154
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 9th
International Conference on Tests and Proofs, TAP 2015, held in L`
Aquila, Italy, in July 2015, as part of the STAF 2015 Federated
Conferences. The 11 revised full papers and 1 short papers
presented together with 3 invited talks were carefully reviewed and
selected from 21 submissions. The accepted papers contribute to
various testing techniques (model-based, property-based,
grammar-based, bounded-exhaustive), fault localization,
model-driven engineering, as well as model coverage, consistency
and validation, among others. Many papers rely on interactive and
automatic theorem provers, including SMT solvers and model
checkers.
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
