|
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
|
Buy Now
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Paperback, 1st ed. 2017)
Loot Price: R3,324
Discovery Miles 33 240
|
|
|
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Paperback, 1st ed. 2017)
Series: Theoretical Computer Science and General Issues, 10426
Expected to ship within 10 - 15 working days
|
The two-volume set LNCS 10426 and LNCS 10427 constitutes the
refereed proceedings of the 29th International Conference on
Computer Aided Verification, CAV 2017, held in Heidelberg, Germany,
in July 2017.The total of 50 full and 7 short papers presented
together with 5 keynotes and tutorials in the proceedings was
carefully reviewed and selected from 191 submissions. The CAV
conference series is dedicated to the advancement of the theory and
practice of computer-aided formal analysis of hardware and software
systems. The conference covers the spectrum from theoretical
results to concrete applications, with an emphasis on practical
verification tools and the algorithms and techniques that are
needed for their implementation.
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
