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: 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.76 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

SILAS MARNER Eliot / Book Paperback
common.buy 20.55 €
Promuovere la parit? di genere nel mercato del lavoro e la crescita economica Riana Navalona Ramonjamanana / Book Paperback
common.buy 39.30 €
Sprengstoffgesetz - SprengG 2023 Ronny Studier / Book Paperback
common.buy 11.03 €
Pilzen begegnen Hans Manhart / Book Paperback
common.buy 21.97 €
Conexiones FERNANDEZ FRAGA / Book Paperback
common.buy 24.51 €
Puzzle Hello Kitty 1000 dílků / Game/Toy Jigsaw puzzle
common.buy 7.38 €
Torba bawełniana Wściekłe Wieszcze ecru / Book binding.
common.buy 18.73 €
Riconoscimento del modello nel processo di apprendimento Sanchez Casanova Ricardo Sanchez Casanova / Book Paperback
common.buy 35.75 €
Arts Chimiques: Industrie Du Tabac (1867) Louis Grandeau / Book Paperback
common.buy 20.35 €
Ur Finlands Konstitutionella Historia, 1809-1863 (1898) Magnus Gottfrid Schybergson / Book Paperback
common.buy 21.26 €
Ripios Geográficos Antonio De Valbuena / Book Paperback
common.buy 24.10 €
Praxisphasen in der Lehrerbildung Axel Knüppel / Book Paperback
common.buy 31.50 €
Plays Hits Agogo Lutz Krajenski feat. Alana Alexander / Audio Audio CD
common.buy 18.93 €
Organisation von Systemen Bernhard Waszkewitz / Book Paperback
common.buy 37.78 €
Geschichte der Freundschaft Michael Roes / Book Hardback
common.buy 23.69 €
Amanda Und Eduard Sophie Mereau / Book Paperback
common.buy 11.74 €
Geschichte eines Vampirs Thomas Neumann / Book Paperback
common.buy 9.01 €
Das Geschworenengericht in der attischen Demokratie Verena Nöckel / Book Paperback
common.buy 14.48 €
Soldaten Sönke Neitzel / Book Paperback
common.buy 19.74 €

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

Portland Walter Fortner / Book Paperback
common.buy 20.86 €
Fading Humans of Digital World: Balancing crisis of Personal, Corporate and Digital world Girish Joshi / Book Paperback
common.buy 6.17 €
How to Make Historic American Costumes Mary Evans / Book Hardback
common.buy 40.21 €
Top
Shikimori's Not Just a Cutie 12 V12 / Book Paperback
common.buy 10.63 €
Layman's Notebook Lester J Forrester / Book Paperback
common.buy 10.63 €
The Land of Stories Set Chris Colfer / Book Paperback
common.buy 45.27 €
Top
Statistics without Tears Derek Rowntree / Book Paperback
common.buy 11.84 €
Great Whiskies DK / Book Hardback
common.buy 16.00 €
Jesus Arise in this Nation: Prayer Book O'Neil Brown / Book Paperback
common.buy 6.47 €
Commonsense Shotgun Shooting with Fred Etchen Fred Etchen / Book Hardback
common.buy 41.12 €
The Era of International Space Station Utilization: Perspectives on Strategy from International Research Leaders National Aeronautics and Administration / Book Paperback
common.buy 15.79 €
HOUGHTON MIFFLIN MATHMATICS Houghton Mifflin Company / Book Paperback
common.buy 46.89 €
Word Study in the Inclusive Secondary Classroom Melinda Leko / Book Hardback
common.buy 77.08 €
Dr. Cocktail Alex Ott / Book Hardback
common.buy 13.97 €
Art Maker Cozy Coloring Around Town / Book Paperback
common.buy 10.63 €
Midnight on the Moon Graphic Novel Kelly Matthews / Book Hardback
common.buy 14.27 €
Microstructure Atlas of P22 Steel Rajat K. Roy / Book Paperback
common.buy 144.25 €
Top
Development As Freedom Amartya Kumar Sen / Book Paperback
common.buy 15.79 €
Nuclear Instrumentation II / Instrumentelle Hilfsmittel der Kernphysik II Edward Creutz / Book Paperback
common.buy 51.76 €
Ibn Rushd (Averroes) Dominique Urvoy / Book Hardback
common.buy 188.62 €
Confirmation Wars Benjamin Wittes / Book Paperback
common.buy 21.26 €
RNA Biology - An Introduction Gunter Meister / Book Paperback
common.buy 86.91 €
Nick's First Holiday Celebration Linda Sicks / Book Hardback
common.buy 17.62 €
Carbon Footprint Analysis Defne Apul / Book Hardback
common.buy 173.02 €

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?