Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Language EnglishEnglish
E-book Adobe ePub DRM
E-book Computer Aided Verification Rupak Majumdar
Libristo code: 41041880
Publishers Springer, July 2017
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th Inter... Full description
? points 145 b
60.09 €
In stock Immediate digital delivery

You might also be interested in

Principles of Geometry H. F. Baker / Book Paperback
common.buy 41.78 €
Coming soon
American Literature's Aesthetic Dimensions Cindy Weinstein / Book Paperback
common.buy 44.91 €
Now and Then. Samuel Warren / Book Paperback
common.buy 19.21 €
Lucky Ed Jackson / Audiobook MP3
common.buy 13.45 €
Maldive Shark Herman Melville / E-book Adobe ePub DRM
common.buy 1.61 €
Kitty M.C. Beaton / E-book Adobe ePub DRM
common.buy 4.95 €
People Like Her Ellery Lloyd / E-book Adobe ePub DRM
common.buy 5.45 €

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented  together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
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 Rupak Majumdar, Viktor Kuncak
Language English
Binding E-book - Adobe ePub DRM
Date of issue 2017
EAN 9783319633909
Libristo code 41041880
Publishers Springer

Categories

Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
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 address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account