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

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 136 b
19 902 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Redeskriptionen horizontaler Geographien Olaf Kuhne / E-book Adobe ePub DRM
common.buy 37 858 Ft
La Divine Comédie De Dante; Volume 1 Louis Ratisbonne / Book Paperback
common.buy 10 640 Ft
Palestina-Israel, un país, un estado : una iniciativa audaz para la paz Virginia Tilley / Book Paperback
common.buy 15 871 Ft
Neue Formen des Wohnens und Zusammenlebens im Alter Martin Obermüller / Book Paperback
common.buy 20 063 Ft
Medizinischer Grundwortschatz Martin Trebsdorf / Book Paperback
common.buy 6 508 Ft

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 5 144 Ft
About Face Jason White / E-book Adobe ePub DRM
common.buy 735 Ft
Analysis of Images, Social Networks and Texts Wil M. P. van der Aalst / Book Paperback
common.buy 19 902 Ft
How To Earn Money Without Leaving The House Daniel P Richardson / Book Paperback
common.buy 4 308 Ft
Sex and passion Piero Palono / Book Paperback
common.buy 3 282 Ft
Positiverosity: 7 Golden Principles David Fox-Pitt / Book Paperback
common.buy 4 090 Ft
Jazz Session Trainer: The Woodshedder's Practice Kit - B-Flat Edition Larry Dunlop / Book Hardback
common.buy 7 594 Ft
Rita and Rascal Autum Agusta / Book Hardback
common.buy 8 971 Ft
The Haunting Season for Love and Witches Isabelle Larken / Book Paperback
common.buy 7 608 Ft
Breaking Through Mexico's Past Eduardo Matos Moctezuma / Book Hardback
common.buy 14 231 Ft
Affluent Worker: Industrial Attitudes and Behaviour John H. Goldthorpe / Book Paperback
common.buy 18 321 Ft
Design Systems for VLSI Circuits Giovanni De Micheli / Book Paperback
common.buy 79 260 Ft
Contraception Research for Today and the Nineties G.P. Talwar / Book Hardback
common.buy 32 261 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?