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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop
Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Computer Aided Verification

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification Rupak Majumdar
Libristo code: 16495653
Publishers Springer International Publishing AG, July 2017
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th Intern... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

La vie rêvée du Post-partum Caroline Michel Book Paperback
common.buy 25.99 €
Lone Survivor (Original Motion Picture Soundtrack) / Audio Audio CD
common.buy 19.99 €
Didier Grousset/Brigitte Smadja: Il faut sauver Saïd: Filmanalyse Martin Thoböll / Book Paperback
common.buy 36.69 €
Beziehungsmanagement im Sportsponsoring? Thorben Meier / Book Paperback
common.buy 74.00 €
PHDA na pratica Rui Pedro Ribeiro / E-book Adobe ePub DRM
common.buy 9.19 €
Sortie à la médiathèque, niveau 1 - J'apprends à lire Montessori Charlotte Jouenne / Book Paperback
common.buy 7.09 €
PASSACAILLE --- GUITARE KLEYNJANS FRANCIS Book binding.
common.buy 13.39 €
One Piece 95 Antje Bockel / Book Paperback
common.buy 7.50 €
Comment Jouer Au Golf VARDON-H / Book Paperback
common.buy 20.99 €
Leonor Merimee (1757-1836) Gaston Pinet / Book Paperback
common.buy 19.09 €

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 Book - Paperback
Date of issue 2017
Number of pages 601
EAN 9783319633862
ISBN 3319633864
Libristo code 16495653
Publishers Springer International Publishing AG
Weight 9299
Dimensions 155 x 235 x 35

Categories

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

You might also be interested in

Product Research 101: Find Winning Products to Sell on Amazon and Beyond Renae Clark / Book Paperback
common.buy 8.39 €
Storm Makers Jennifer E. Smith / Book Paperback
common.buy 17.89 €
Walkertown Area Historical Society Walkertown / Book Paperback
common.buy 20.49 €
Doberman Pinschers Christina Leighton / Book Hardback
common.buy 34.19 €
THE GEORGIAN; OR, THE MOOR OF TRIPOLI: A ELIZABETH THOMAS / Book Hardback
common.buy 31.79 €
Current Developments in Biotechnology and Bioengineering Ashok Pandey / Book Paperback
common.buy 206.89 €
First Principles of Gastroenterology and Hepatology in Adults and Children - Volume I - Gastroenterology: Volume I - Gastroenterology A B R Thomson / Book Paperback
common.buy 43.49 €
Sudoku Minesweeper - 200 Easy to Medium Puzzles 9x9 (Volume 7) Dart Veider / Book Paperback
common.buy 7.99 €
Immunomodulatory Role of Black Seed Oil Muhammad Shahzad / Book Paperback
common.buy 51.99 €
The Story of King Arthur and His Knights Howard Pyle / Book Paperback
common.buy 14.19 €
Hizballah Shimon Shapira / Book Paperback
common.buy 57.49 €
Rutherford College Catalog; 1924-1925 Rutherford College / Book Paperback
common.buy 19.09 €
The Unofficial Disney Parks Cookbooks Boxed Set: The Unofficial Disney Parks Cookbook, the Unofficial Disney Parks EPCOT Cookbook, the Unofficial Disn Craft / Book Hardback
common.buy 38.89 €
Top
The Hurricane Wars GUANZON THEA / Book Paperback
common.buy 14.49 €
Blue Room David Hare / Book Paperback
common.buy 12.49 €
Methods Of Qualitative Theory In Nonlinear Dynamics (Part Ii) Leonid Shilnikov / Book Hardback
common.buy 189.29 €
Mobile Genetic Elements Yves Bigot / Book Hardback
common.buy 105.09 €
What You Don't Know Will Hurt You Denise Skarbek / Book Hardback
common.buy 124.89 €
Computer Architecture Gerard Blanchet / Book Hardback
common.buy 147.49 €
International Negotiations, Student's Book w. 2 Audio-CDs Mark Powell / Book Paperback
common.buy 48.49 €
Neural Computing - An Introduction T. Jackson / Book Paperback
common.buy 95.79 €
Auld Sod David Edson / Book Paperback
common.buy 16.49 €
Personal Math Companion Marsha P Smith / Book Hardback
common.buy 28.39 €
Food Wars Mairi McLellan / Book Hardback
common.buy 39.09 €

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