|
Books > Computing & IT > Computer communications & networking
|
Buy Now
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Paperback, 1st ed. 2015)
Loot Price: R2,818
Discovery Miles 28 180
|
|
|
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Paperback, 1st ed. 2015)
Series: Lecture Notes in Computer Science, 9207
Expected to ship within 10 - 15 working days
|
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed
proceedings of the 27th International Conference on Computer Aided
Verification, CAV 2015, held in San Francisco, CA, USA, in July
2015. The total of 58 full and 11 short papers presented in the
proceedings was carefully reviewed and selected from 252
submissions. The papers were organized in topical sections named:
model checking and refinements; quantitative reasoning; software
analysis; lightning talks; interpolation, IC3/PDR, and Invariants;
SMT techniques and applications; HW verification; synthesis;
termination; and concurrency.
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
