Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Check order status

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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Computer Aided Verification

Rupak Majumdar

Viktor Kuncak

Language

English

Book Paperback

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

Libristo code: 16495654

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Pilzen begegnen Hans Manhart

Paperback

26.00 €

SILAS MARNER Eliot

Paperback

21.49 €

Promuovere la parit? di genere nel mercato del lavoro e la crescita economica Riana Navalona Ramonjamanana

Paperback

40.99 €

Sprengstoffgesetz - SprengG 2023 Ronny Studier

Paperback

11.49 €

Conexiones FERNANDEZ FRAGA

Paperback

27.39 €

Uppgiften - erotiska noveller Cupido

MP3

3.29 €

Puzzle Hello Kitty 1000 dílků

Jigsaw puzzle

7.59 €

Riconoscimento del modello nel processo di apprendimento Sanchez Casanova Ricardo Sanchez Casanova

Paperback

37.29 €

Ur Finlands Konstitutionella Historia, 1809-1863 (1898) Magnus Gottfrid Schybergson

Paperback

16.29 €

Praxisphasen in der Lehrerbildung Axel Knüppel

Paperback

32.79 €

Plays Hits Agogo Lutz Krajenski feat. Alana Alexander

Audio CD

19.59 €

Organisation von Systemen Bernhard Waszkewitz

Paperback

46.29 €

Geschichte der Freundschaft Michael Roes

Hardback

24.59 €

Amanda Und Eduard Sophie Mereau

Paperback

12.90 €

Geschichte eines Vampirs Thomas Neumann

Paperback

9.90 €

Soldaten Sönke Neitzel

Paperback

22.00 €

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

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

You might also be interested in

Development As Freedom Amartya Kumar Sen

Paperback

16.59 €

Fading Humans of Digital World: Balancing crisis of Personal, Corporate and Digital world Girish Joshi

Paperback

6.49 €

How to Make Historic American Costumes Mary Evans

Hardback

41.59 €

Shikimori's Not Just a Cutie 12 V12

Paperback

11.19 €

The Land of Stories Set Chris Colfer

Paperback

49.79 €

Statistics without Tears Derek Rowntree

Paperback

12.49 €

Great Whiskies DK

Hardback

16.89 €

The Era of International Space Station Utilization: Perspectives on Strategy from International Research Leaders National Aeronautics and Administration

Paperback

16.39 €