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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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
21 298 Ft
In stock Immediate digital delivery

You might also be interested in

Principles of Geometry H. F. Baker / Book Paperback
common.buy 14 804 Ft
Coming soon
American Literature's Aesthetic Dimensions Cindy Weinstein / Book Paperback
common.buy 15 885 Ft
Now and Then. Samuel Warren / Book Paperback
common.buy 7 520 Ft
Lucky Ed Jackson / Audiobook MP3
common.buy 4 765 Ft
Maldive Shark Herman Melville / E-book Adobe ePub DRM
common.buy 587 Ft
Kitty M.C. Beaton / E-book Adobe ePub DRM
common.buy 1 742 Ft
People Like Her Ellery Lloyd / E-book Adobe ePub DRM
common.buy 1 950 Ft

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?