Sale!
Add to Wishlist

Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings eBook

Original price was: $54.99.Current price is: $9.00.

  • Author(s): Madhusudan Parthasarathy; Sanjit A. Seshia
  • Publisher: Springer
  • Print ISBN: 9783642314230, 3642314236
  • eText ISBN: 9783642314247, 3642314244
Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings eBook

Original price was: $54.99.Current price is: $9.00.

Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices

 

 

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.
This is a digital product.
Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings 1st Edition is written by Madhusudan Parthasarathy; Sanjit A. Seshia and published by Springer. The Digital and eTextbook ISBNs for Computer Aided Verification are 9783642314247, 3642314244 and the print ISBNs are 9783642314230, 3642314236.

Reviews

There are no reviews yet.

Be the first to review “Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings eBook”