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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 902 Ft
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 8 560 Ft
SILAS MARNER Eliot / Book Paperback
common.buy 7 987 Ft
Promuovere la parit? di genere nel mercato del lavoro e la crescita economica Riana Navalona Ramonjamanana / Book Paperback
common.buy 15 197 Ft
Sprengstoffgesetz - SprengG 2023 Ronny Studier / Book Paperback
common.buy 3 915 Ft
Conexiones FERNANDEZ FRAGA / Book Paperback
common.buy 9 470 Ft
Uppgiften - erotiska noveller Cupido / Audiobook MP3
common.buy 1 128 Ft
Top
Puzzle Hello Kitty 1000 dílků / Game/Toy Jigsaw puzzle
common.buy 2 607 Ft
Riconoscimento del modello nel processo di apprendimento Sanchez Casanova Ricardo Sanchez Casanova / Book Paperback
common.buy 13 833 Ft
Ur Finlands Konstitutionella Historia, 1809-1863 (1898) Magnus Gottfrid Schybergson / Book Paperback
common.buy 5 981 Ft
Praxisphasen in der Lehrerbildung Axel Knüppel / Book Paperback
common.buy 11 185 Ft
Plays Hits Agogo Lutz Krajenski feat. Alana Alexander / Audio Audio CD
common.buy 7 242 Ft
Organisation von Systemen Bernhard Waszkewitz / Book Paperback
common.buy 15 858 Ft
Geschichte der Freundschaft Michael Roes / Book Hardback
common.buy 8 398 Ft
Amanda Und Eduard Sophie Mereau / Book Paperback
common.buy 4 543 Ft
Geschichte eines Vampirs Thomas Neumann / Book Paperback
common.buy 3 517 Ft
Soldaten Sönke Neitzel / Book Paperback
common.buy 7 663 Ft

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 6 170 Ft
Fading Humans of Digital World: Balancing crisis of Personal, Corporate and Digital world Girish Joshi / Book Paperback
common.buy 2 376 Ft
How to Make Historic American Costumes Mary Evans / Book Hardback
common.buy 15 345 Ft
Top
Shikimori's Not Just a Cutie 12 V12 / Book Paperback
common.buy 4 146 Ft
Top
The Land of Stories Set Chris Colfer / Book Paperback
common.buy 17 471 Ft
Statistics without Tears Derek Rowntree / Book Paperback
common.buy 4 483 Ft
Great Whiskies DK / Book Hardback
common.buy 6 068 Ft
The Era of International Space Station Utilization: Perspectives on Strategy from International Research Leaders National Aeronautics and Administration / Book Paperback
common.buy 6 036 Ft
Word Study in the Inclusive Secondary Classroom Melinda Leko / Book Hardback
common.buy 28 670 Ft
Price of Love Vicki Hopkins / Book Paperback
common.buy 5 597 Ft
Carbon Footprint Analysis Defne Apul / Book Hardback
common.buy 65 603 Ft
Nick's First Holiday Celebration Linda Sicks / Book Hardback
common.buy 6 637 Ft
RNA Biology - An Introduction Gunter Meister / Book Paperback
common.buy 26 793 Ft
Confirmation Wars Benjamin Wittes / Book Paperback
common.buy 8 047 Ft
Nuclear Instrumentation II / Instrumentelle Hilfsmittel der Kernphysik II Edward Creutz / Book Paperback
common.buy 19 902 Ft
Holiday Heaven Cupido / Audiobook MP3
common.buy 1 405 Ft
Microstructure Atlas of P22 Steel Rajat K. Roy / Book Paperback
common.buy 55 518 Ft
Dr. Cocktail Alex Ott / Book Hardback
common.buy 5 380 Ft

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?