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.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

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 125 b
51.76 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

La vie rêvée du Post-partum Caroline Michel Book Paperback
common.buy 25.11 €
A VERDADE DAS SUAS CARICIAS WILLIAMS / Book Book
common.buy 4.75 €
Lone Survivor (Original Motion Picture Soundtrack) / Audio Audio CD
common.buy 16.81 €
??????????? ?? ???(?????)? ????: ?? - Affe. ???? ?? ???? ColinHann / E-book Adobe ePub DRM
common.buy 1.10 €
PHDA na pratica Rui Pedro Ribeiro / E-book Adobe ePub DRM
common.buy 8.80 €
Sortie à la médiathèque, niveau 1 - J'apprends à lire Montessori Charlotte Jouenne / Book Paperback
common.buy 6.68 €
Фастфуд на миллион. Made in Russian Регион / Book Paperback
common.buy 51.15 €
Bibliograf­a de Historia Económica de Cataluña, 1950-70 / Book Paperback
common.buy 13.97 €
Energie de lumière infinie - Méditations créatives - Livre audio 2 CD Lafrance / Audio Audio CD
common.buy 27.14 €
PASSACAILLE --- GUITARE KLEYNJANS FRANCIS Book binding.
common.buy 12.75 €
One Piece 95 Antje Bockel / Book Paperback
common.buy 6.88 €
Comment Jouer Au Golf VARDON-H / Book Paperback
common.buy 20.35 €
ontologia da alma em Sao Tomas de Aquino Moacir Ferreira Filho / Book Paperback
common.buy 35.75 €
Leonor Merimee (1757-1836) Gaston Pinet / Book Paperback
common.buy 16.81 €
Beziehungsmanagement im Sportsponsoring? Thorben Meier / Book Paperback
common.buy 66.04 €
Didier Grousset/Brigitte Smadja: Il faut sauver Saïd: Filmanalyse Martin Thoböll / Book Paperback
common.buy 35.55 €

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.09 €
Top
The Hurricane Wars GUANZON THEA / Book Paperback
common.buy 14.17 €
Walkertown Area Historical Society Walkertown / Book Paperback
common.buy 19.44 €
Doberman Pinschers Christina Leighton / Book Hardback
common.buy 33.62 €
THE GEORGIAN; OR, THE MOOR OF TRIPOLI: A ELIZABETH THOMAS / Book Hardback
common.buy 30.79 €
Current Developments in Biotechnology and Bioengineering Ashok Pandey / Book Paperback
common.buy 200.06 €
First Principles of Gastroenterology and Hepatology in Adults and Children - Volume I - Gastroenterology: Volume I - Gastroenterology A B R Thomson / Book Paperback
common.buy 41.83 €
Sudoku Minesweeper - 200 Easy to Medium Puzzles 9x9 (Volume 7) Dart Veider / Book Paperback
common.buy 7.69 €
Storm Makers Jennifer E. Smith / Book Paperback
common.buy 17.21 €
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 36.86 €
Rutherford College Catalog; 1924-1925 Rutherford College / Book Paperback
common.buy 18.43 €
Theory of Superconductivity J. Robert Schrieffer / Book Hardback
common.buy 209.38 €
Hizballah Shimon Shapira / Book Paperback
common.buy 56.01 €
Universal Human: Creating Authentic Power and the New Consciousness Gary Zukav / Book Paperback
common.buy 15.79 €
The Story of King Arthur and His Knights Howard Pyle / Book Paperback
common.buy 13.77 €
What You Don't Know Will Hurt You Denise Skarbek / Book Hardback
common.buy 117.30 €
Immunomodulatory Role of Black Seed Oil Muhammad Shahzad / Book Paperback
common.buy 50.03 €
Mobile Genetic Elements Yves Bigot / Book Hardback
common.buy 100.89 €
Blue Room David Hare / Book Paperback
common.buy 11.84 €
Odyssey Homer / Book Paperback
common.buy 24.10 €
Methods Of Qualitative Theory In Nonlinear Dynamics (Part Ii) Leonid Shilnikov / Book Hardback
common.buy 183.25 €
Computer Architecture Gerard Blanchet / Book Hardback
common.buy 142.52 €
International Negotiations, Student's Book w. 2 Audio-CDs Mark Powell / Book Paperback
common.buy 47.00 €
Neural Computing - An Introduction T. Jackson / Book Paperback
common.buy 92.99 €

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?