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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification Daniel Kroening
Libristo code: 09372112
Publishers Springer International Publishing AG, July 2015
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Redeskriptionen horizontaler Geographien Olaf Kuhne / E-book Adobe ePub DRM
common.buy 110.69 €
La Divine Comédie De Dante; Volume 1 Louis Ratisbonne / Book Paperback
common.buy 28.79 €
Palestina-Israel, un país, un estado : una iniciativa audaz para la paz Virginia Tilley / Book Paperback
common.buy 42.89 €
Neue Formen des Wohnens und Zusammenlebens im Alter Martin Obermüller / Book Paperback
common.buy 58.00 €
Medizinischer Grundwortschatz Martin Trebsdorf / Book Paperback
common.buy 18.99 €

The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.§§The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.§

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 Daniel Kroening, Corina S. Pasareanu
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 469
EAN 9783319216676
ISBN 3319216678
Libristo code 09372112
Publishers Springer International Publishing AG
Weight 7314
Dimensions 155 x 235 x 25

Categories

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
Computing & Information Technology > Operating systems
Computing & Information Technology > Computer networking & communications
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

Top
Love and Other Words Christina Lauren / Book Paperback
common.buy 13.79 €
About Face Jason White / E-book Adobe ePub DRM
common.buy 2.19 €
Analysis of Images, Social Networks and Texts Wil M. P. van der Aalst / Book Paperback
common.buy 53.79 €
How To Earn Money Without Leaving The House Daniel P Richardson / Book Paperback
common.buy 11.59 €
Sex and passion Piero Palono / Book Paperback
common.buy 8.89 €
Positiverosity: 7 Golden Principles David Fox-Pitt / Book Paperback
common.buy 11.39 €
Jazz Session Trainer: The Woodshedder's Practice Kit - B-Flat Edition Larry Dunlop / Book Hardback
common.buy 20.49 €
Rita and Rascal Autum Agusta / Book Hardback
common.buy 24.39 €
The Haunting Season for Love and Witches Isabelle Larken / Book Paperback
common.buy 20.59 €
Breaking Through Mexico's Past Eduardo Matos Moctezuma / Book Hardback
common.buy 41.59 €
Affluent Worker: Industrial Attitudes and Behaviour John H. Goldthorpe / Book Paperback
common.buy 49.79 €
Design Systems for VLSI Circuits Giovanni De Micheli / Book Paperback
common.buy 214.29 €
Contraception Research for Today and the Nineties G.P. Talwar / Book Hardback
common.buy 94.39 €

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?