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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

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.38 €
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 23.93 €
??????????? ?? ???(?????)? ????: ?? - Affe. ???? ?? ???? ColinHann / E-book Adobe ePub DRM
common.buy 1.10 €
Фастфуд на миллион. Made in Russian Регион / Book Paperback
common.buy 50.88 €
Yumo: Strange Stories About Dreams Series Blind Box figure 8 cm Display (9) Game/Toy Toy
common.buy 145.93 €
Robur le conquerant Jules Verne / Book Paperback
common.buy 7.33 €
Lone Survivor (Original Motion Picture Soundtrack) / Audio Audio CD
common.buy 16.69 €
Sortie à la médiathèque, niveau 1 - J'apprends à lire Montessori Charlotte Jouenne / Book Paperback
common.buy 5.62 €
PHDA na pratica Rui Pedro Ribeiro / E-book Adobe ePub DRM
common.buy 8.74 €
Missiq "Sblizhenie": Rasshirenie praw i wozmozhnostej zhenschin Anam Fatima / Book Paperback
common.buy 31.97 €
Abuso y planificación fiscal internacional: una perspectiva jurídica, económica JUAN ARRIETA / Book Paperback
common.buy 118.17 €
A VERDADE DAS SUAS CARICIAS WILLIAMS / Book Book
common.buy 5.22 €
Cómo Promocionar Tu Libro En Internet: Para Autores Que Empiezan Claudio De Castro / Book Paperback
common.buy 12.27 €
Raumsoziologie Martina Löw / Book Paperback
common.buy 20.51 €
Didier Grousset/Brigitte Smadja: Il faut sauver Saïd: Filmanalyse Martin Thoböll / Book Paperback
common.buy 35.09 €
Beziehungsmanagement im Sportsponsoring? Thorben Meier / Book Paperback
common.buy 65.57 €
Leonor Merimee (1757-1836) Gaston Pinet / Book Paperback
common.buy 16.99 €
Balthaz Fils de Famille Francois Banier / Book Paperback
common.buy 11.86 €
Die Finanzierung der Reichshauptstadt Harald Engler / Book Hardback
common.buy 357.54 €
Bibliograf­a de Historia Económica de Cataluña, 1950-70 / Book Paperback
common.buy 15.28 €
Raťapíška: Ako myška Raťapíška syr vyrobila Alexandra Cvečková / Book Hardback
common.buy 8.74 €
Rolex RODR L PEZ LANDAURO / Book Paperback
common.buy 15.58 €
ontologia da alma em Sao Tomas de Aquino Moacir Ferreira Filho / Book Paperback
common.buy 35.39 €
Comment Jouer Au Golf VARDON-H / Book Paperback
common.buy 20.21 €
One Piece 95 Antje Bockel / Book Paperback
common.buy 6.83 €

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

Rutherford College Catalog; 1924-1925 Rutherford College / Book Paperback
common.buy 18.19 €
Storm Makers Jennifer E. Smith / Book Paperback
common.buy 17.09 €
Walkertown Area Historical Society Walkertown / Book Paperback
common.buy 19.40 €
Doberman Pinschers Christina Leighton / Book Hardback
common.buy 15.68 €
Top
The Hurricane Wars GUANZON THEA / Book Paperback
common.buy 14.37 €
ANNUAL REPORTS OF THE PRESIDENT AND TREA COLUMBIA UNIVERSITY / Book Hardback
common.buy 34.30 €
THE GEORGIAN; OR, THE MOOR OF TRIPOLI: A ELIZABETH THOMAS / Book Hardback
common.buy 30.58 €
Current Developments in Biotechnology and Bioengineering Ashok Pandey / Book Paperback
common.buy 198.73 €
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.54 €
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.70 €
Sudoku Minesweeper - 200 Easy to Medium Puzzles 9x9 (Volume 7) Dart Veider / Book Paperback
common.buy 7.64 €
Mobile Genetic Elements Yves Bigot / Book Hardback
common.buy 100.16 €
Product Research 101: Find Winning Products to Sell on Amazon and Beyond Renae Clark / Book Paperback
common.buy 8.04 €
Hizballah Shimon Shapira / Book Paperback
common.buy 55.61 €
Universal Human: Creating Authentic Power and the New Consciousness Gary Zukav / Book Paperback
common.buy 16.08 €
Theory of Superconductivity J. Robert Schrieffer / Book Hardback
common.buy 243.08 €
Walking Into Lightning Ellen Lafleche / Book Paperback
common.buy 14.17 €
The Shining Pyramid Arthur Machen / Book Paperback
common.buy 18.30 €
The Story of King Arthur and His Knights Howard Pyle / Book Paperback
common.buy 13.67 €
Vintage Classic Coloring Pages IV Tatiana Bogema (Stolova) / Book Paperback
common.buy 7.64 €
Immunomodulatory Role of Black Seed Oil Muhammad Shahzad / Book Paperback
common.buy 49.47 €
Die Prophezeiung Cathy Cash Spellman / Video Blu-ray
common.buy 33.09 €
Blue Room David Hare / Book Paperback
common.buy 11.76 €
Odyssey Homer / Book Paperback
common.buy 24.03 €

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?