|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Tests and Proofs - 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings (Paperback, 1st ed. 2019)
Loot Price: R1,469
Discovery Miles 14 690
|
|
|
Tests and Proofs - 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings (Paperback, 1st ed. 2019)
Series: Lecture Notes in Computer Science, 11823
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 13th
International Conference on Tests and Proofs, TAP 2019, held as
part of the Third World Congress on Formal Methods 2019, Porto,
Portugal, in October 2019. The 10 regular papers and 2 invited
paper presented in this volume were carefully reviewed and selected
from 19 submissions. The TAP conference promotes research in
verification and formal methods that targets the interplay of
proofs and testing: the advancement of techniques of each kind and
their combination, with the ultimate goal of improving software and
system dependability.
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!
|
You might also like..
|
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
