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
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Computer Aided Verification

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

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification Daniel Kroening
Libristo code: 09372120
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 125 b
51.59 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Affordable
La génération Z et le luxe Eric Briones (dit Darkplanneur) / Book Paperback
common.buy 20.99 €
Vánoční koledy Vladimíra Vopičková / Book Hardback
common.buy 3.63 €
Klube & THE BATES Christof Dörr / Book Paperback
common.buy 17.96 €
EL SIGNO DEL DRAGÓN RICARDO ALIA / Book Hardback
common.buy 13.42 €
SICILIA PHILIPPE GLOAGUEN / Book Hardback
common.buy 26.34 €
Nouvelle Biblioth?que Germanique... Jean-Henri-Samuel Formey / Book Paperback
common.buy 29.47 €
Inspirationen zu Franz Marc "Skizzen aus dem Felde" Maria-Anna Bäuml-Roßnagl / Book Paperback
common.buy 32.10 €
Ensemble: Liebfrauenkirche - Kloster - Prinzenhof - Papiermühle und Teile der alten Stadtmauer (Puzzle) Monika Müller / Game/Toy Game
common.buy 30.38 €
Sagen aus Franken Susanne Rebscher / Book Hardback
common.buy 14.93 €
Russlands landlische Zustande Julius Wilhelm Albert von Eckardt / Book Paperback
common.buy 20.49 €
Diario de un viejo terminal Zamir Bechara / Book Paperback
common.buy 23.42 €
Auxiliares Administrativos de Corporaciones Locales. Test del Temario General MARTOS NAVARRO / Book Paperback
common.buy 33.61 €
Pollos y gallinas de la A a la Z : todas las respuestas a sus preguntas Gail Damerow / Book Paperback
common.buy 52.90 €
Reise durch Barcelona Andreas Drouve / Book Hardback
common.buy 17.96 €
Die 101 wichtigsten Fragen - Rassismus Susan Arndt / Book Paperback
common.buy 9.88 €
Clemens Brentano Detlev Lüders / Book Hardback
common.buy 118.93 €
L.A. Nudes Confidential Sean McCall / Book Hardback
common.buy 29.67 €
Juwikinger - Erster Teil Olav Duun / Book Hardback
common.buy 31.19 €
Stunden-Buch Rainer Maria Rilke / Book Paperback
common.buy 8.98 €

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 677
EAN 9783319216898
ISBN 3319216899
Libristo code 09372120
Publishers Springer International Publishing AG
Weight 1048
Dimensions 155 x 235 x 40

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

Sterilization of Food in Retort Pouches A.G. Abdul Ghani Al-Baali / Book Paperback
common.buy 102.78 €
Coming soon
Introduction to International Relations Richard Devetak / Book Paperback
common.buy 71.27 €
Spice Secret Billie Holladay Skelley / Book Paperback
common.buy 6.25 €
Amber Waves Sharon Schenbeck / Book Paperback
common.buy 10.29 €
Life of an EX College Bandsman 5: Starting All Over Jaxon Grant / Book Paperback
common.buy 19.48 €
America: A History: I. The United States. II. The Dominion of Canada. III. South America, &c Robert Mackenzie / Book Hardback
common.buy 40.07 €
Descartes and the Dutch: Early Reactions to Cartesian Philosophy, 1637-1650 Theo Verbeek / Book Hardback
common.buy 34.62 €
Bondage and Travels of Johann Schiltberger, a Native of Bavaria, in Europe, Asia, and Africa, 1396-1427 / Digital Digital online
common.buy 55.02 €
Revival: Nietzsche in Context (2001) Robin Small / Book Paperback
common.buy 63.70 €
Top
Lean Change Management Jason Little / Book Paperback
common.buy 27.35 €
Guide To Gaelic Conversation And Pronunciation: With Vocabularies, Dialogues, Phrases And Letter Forms (1905) Lachlan Macbean / Book Hardback
common.buy 34.42 €
Because He Loves Me Dana M Watson / Book Paperback
common.buy 19.38 €
Top
Spanish English Illustrated Dictionary DK / Book Paperback
common.buy 21.40 €
Intimate: An American Family Photo Album Paisley Rekdal / Book Hardback
common.buy 29.88 €
Dear Mr. Nelson Kenneth E Nelson / Book Hardback
common.buy 29.78 €
Coming soon
NATIONALISM Richard Allen Sauers / Book Hardback
common.buy 50.78 €
Flexible Metal-Organic Frameworks: Structural Design, Synthesis and Properties Susumu Kitagawa / Book Hardback
common.buy 140.14 €
World Century Compendium To Tcm - Volume 4: Introduction To Chinese Internal Medicine Hong Zhou Wu / Book Paperback
common.buy 103.08 €
Chicano Frankenstein Daniel A. Olivas / Audiobook MP3
common.buy 19.98 €
Dynamic Business Process Formation for Instant Virtual Enterprises Nikolay Mehandjiev / Book Paperback
common.buy 154.07 €
Chemical Genomics Edward D. Zanders / Book Paperback
common.buy 113.28 €

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?