Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
Austrian Post 5.49 €
DPD courier 3.99 €
DPD point 2.99 €
Shopping guide
My account
▸
Empty :-(
0
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Language
English
English
Book
Paperback
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int...
Full description
Libristo code: 09372120
?
132 b
132 b
53.79
€
VAT included
In stock at our supplier
Shipping in 5-8 days
Delivery to Austria
Delivery to Austria
30-day return policy
Customers also purchased
/
Game
31.69
€
/
Paperback
34.59
€
/
Paperback
54.69
€
The two-volume proceedings set LNCS 9206 + 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.§
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Computer Aided Verification
Author
Daniel Kroening, Corina S. Pasareanu
Language
English
English
Binding
Book - Paperback
Date of issue
2015
Number of pages
677
EAN
9783319216898
ISBN
3319216899
Libristo code
09372120
Publishers
Springer International Publishing AG
Weight
1048
Dimensions
155 x 235 x 40
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Hardback
41.59
€
/
Hardback
35.79
€
/
Hardback
35.79
€
/
Hardback
145.19
€
/
Paperback
106.59
€
/
Paperback
160.89
€
