Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Computer Aided Verification

Computer Aided Verification

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 2013, Proceedings

Computer Aided Verification( )
Editor: Sharygina, Natasha
Veith, Helmut
Series title:Lecture Notes in Computer Science Ser.
ISBN:978-3-642-39798-1
Publication Date:Jul 2013
Publisher:Springer
Book Format:Paperback
List Price:USD $167.00
Book Description:

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis,...
More Description

Book Details
Pages:1015
Detailed Subjects: Computers / Software Development & Engineering / Quality Assurance & Testing
Physical Dimensions (W X L X H):6.045 x 9.165 x 0.796 Inches
Book Weight:3.384 Pounds

Book Seller

Condition

Price

Shipping

Total

Loading Stock Details...


NEW!
Bowker Bookwire™ App

Bookwire is a mobile app for your iPhone that gives you the ability to scan a barcode or enter ISBN, access book records and add titles to wish lists. Android app on Google Play

Featured Books

The Girl from Venice
Smith, Martin Cruz
Hardback: $27.00
Why Not Me?
Kaling, Mindy
Hardback: $28.20
Surrender, New York
Carr, Caleb
Hardback: $30.00

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.