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

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification Rupak Majumdar
Libristo code: 16495654
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.63 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Pilzen begegnen Hans Manhart / Book Paperback
common.buy 21.92 €
SILAS MARNER Eliot / Book Paperback
common.buy 20.50 €
Promuovere la parit? di genere nel mercato del lavoro e la crescita economica Riana Navalona Ramonjamanana / Book Paperback
common.buy 39.20 €
Sprengstoffgesetz - SprengG 2023 Ronny Studier / Book Paperback
common.buy 11.00 €
Conexiones FERNANDEZ FRAGA / Book Paperback
common.buy 26.67 €
Uppgiften - erotiska noveller Cupido / Audiobook MP3
common.buy 3.12 €
Top
Puzzle Hello Kitty 1000 dílků / Game/Toy Jigsaw puzzle
common.buy 7.37 €
Riconoscimento del modello nel processo di apprendimento Sanchez Casanova Ricardo Sanchez Casanova / Book Paperback
common.buy 35.66 €
Ur Finlands Konstitutionella Historia, 1809-1863 (1898) Magnus Gottfrid Schybergson / Book Paperback
common.buy 15.75 €
Praxisphasen in der Lehrerbildung Axel Knüppel / Book Paperback
common.buy 31.52 €
Plays Hits Agogo Lutz Krajenski feat. Alana Alexander / Audio Audio CD
common.buy 18.89 €
Organisation von Systemen Bernhard Waszkewitz / Book Paperback
common.buy 44.66 €
Geschichte der Freundschaft Michael Roes / Book Hardback
common.buy 23.64 €
Amanda Und Eduard Sophie Mereau / Book Paperback
common.buy 11.71 €
Geschichte eines Vampirs Thomas Neumann / Book Paperback
common.buy 8.98 €
Soldaten Sönke Neitzel / Book Paperback
common.buy 19.70 €

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 623
EAN 9783319633893
ISBN 3319633899
Libristo code 16495654
Publishers Springer International Publishing AG
Weight 9591
Dimensions 155 x 235 x 36

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

You might also be interested in

Development As Freedom Amartya Kumar Sen / Book Paperback
common.buy 15.75 €
Fading Humans of Digital World: Balancing crisis of Personal, Corporate and Digital world Girish Joshi / Book Paperback
common.buy 6.15 €
How to Make Historic American Costumes Mary Evans / Book Hardback
common.buy 40.11 €
Top
Shikimori's Not Just a Cutie 12 V12 / Book Paperback
common.buy 10.60 €
Top
The Land of Stories Set Chris Colfer / Book Paperback
common.buy 47.48 €
Statistics without Tears Derek Rowntree / Book Paperback
common.buy 11.81 €
Great Whiskies DK / Book Hardback
common.buy 16.06 €
The Era of International Space Station Utilization: Perspectives on Strategy from International Research Leaders National Aeronautics and Administration / Book Paperback
common.buy 15.75 €
Word Study in the Inclusive Secondary Classroom Melinda Leko / Book Hardback
common.buy 76.89 €
Price of Love Vicki Hopkins / Book Paperback
common.buy 14.64 €
Carbon Footprint Analysis Defne Apul / Book Hardback
common.buy 172.59 €
Nick's First Holiday Celebration Linda Sicks / Book Hardback
common.buy 17.17 €
RNA Biology - An Introduction Gunter Meister / Book Paperback
common.buy 71.23 €
Confirmation Wars Benjamin Wittes / Book Paperback
common.buy 21.21 €
Nuclear Instrumentation II / Instrumentelle Hilfsmittel der Kernphysik II Edward Creutz / Book Paperback
common.buy 51.63 €
Holiday Heaven Cupido / Audiobook MP3
common.buy 3.93 €
Microstructure Atlas of P22 Steel Rajat K. Roy / Book Paperback
common.buy 143.89 €
Dr. Cocktail Alex Ott / Book Hardback
common.buy 13.94 €

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