Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Tests and Proofs - 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings (Paperback, 2014 ed.)
Loot Price: R2,158
Discovery Miles 21 580
|
|
Tests and Proofs - 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings (Paperback, 2014 ed.)
Series: Programming and Software Engineering, 8570
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 8th
International Conference on Tests and Proofs, TAP 2014, held in
York, UK, in July 2014, as part of the STAF 2014 Federated
Conferences. The 10 revised full papers and 4 short papers
presented together with two tutorial descriptions were carefully
reviewed and selected from 27 submissions. The papers cover topics
in the following four research areas: test generation, bridging
semantic gaps, integrated development processes and bounded
verification.
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.