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
DPD courier 4.99 €
GLS courier 11.49 €
Shopping guide
My account
▸
Empty :-(
0
Computer Aided Verification
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Language
English
English
Book
Paperback
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aide...
Full description
Libristo code: 01650024
?
249 b
249 b
102.86
€
In stock at our supplier
Shipping in 5-8 days
30-day return policy
Customers also purchased
/
Paperback
58.70
€
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009.§The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.
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
Ahmed Bouajjani, Oded Maler
Language
English
English
Binding
Book - Paperback
Date of issue
2009
Number of pages
722
EAN
9783642026577
ISBN
3642026575
Libristo code
01650024
Weight
1116
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
/
Paperback
79.42
€
/
Hardback
109.63
€
/
Hardback
82.85
€
