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 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Computer Aided Verification

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification Natasha Sharygina
Libristo code: 02075327
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2013
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Co... Full description
? points 249 b
103.10 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

I ja sam tu, uz vas Smriti Halls / Book Hardback
common.buy 12.35 €
Vie Abregee Du T. H. Frere Polycarpe / Book Paperback
common.buy 15.59 €
La société patriarcale face à la résistance des femmes Resta / Book Paperback
common.buy 34.53 €
Kumulyativnye Zaryady Oleg Minin / Book Paperback
common.buy 80.10 €
Lebensfunken Akin Yildiz / Book Paperback
common.buy 10.73 €
epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER / Book Paperback
common.buy 16.20 €
La enzima para rejuvenecer HIROMI SHINYA / Book Paperback
common.buy 20.04 €
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Book Paperback
common.buy 42.93 €
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Book Paperback
common.buy 15.59 €
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen / Book Hardback
common.buy 30.88 €
Aufbruch in ein mehrdimensionales Denken Andreas Steiner / Book Paperback
common.buy 17.11 €
Die ewige Philosophie Aldous Huxley / Book Paperback
common.buy 19.74 €
Tatort Ägypten Arthur Conan Doyle / Book Paperback
common.buy 18.83 €
Coming soon
Gittertiere 1. Bd.1 Heidi Schär / Book Paperback
common.buy 26.63 €
Coming soon
Vegetative Physiologie Gerhard Heldmaier / Book Hardback
common.buy 50.43 €
Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick / Book Paperback
common.buy 90.44 €

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.§

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 Natasha Sharygina, Helmut Veith
Language English
Binding Book - Paperback
Date of issue 2013
Number of pages 1015
EAN 9783642397981
ISBN 3642397980
Libristo code 02075327
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1539
Dimensions 155 x 235 x 56

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Debates in Citizenship Education James Arthur / Book Paperback
common.buy 64.51 €
Ecclesiantics: 30 Years of Church Humor Erik Johnson / Book Paperback
common.buy 10.32 €
Cambridge Companion to the Musical William A. Everett / Book Paperback
common.buy 45.87 €
The Mammals of Israel Walter W. Ferguson / Book Paperback
common.buy 28.75 €
Spider Tapestries Mike Allen / Book Paperback
common.buy 15.59 €
Glyph* Shiro Nishimoto / Book Hardback
common.buy 22.37 €
Khobar Towers Air Force History and Museums Program / Book Paperback
common.buy 30.58 €
Dirty Kiss Rhys Ford / Book Paperback
common.buy 14.78 €
The Passaic Flood of 1903 Marshall Ora Leighton / Book Paperback
common.buy 16.80 €
Defending Objectivity Margaret Archer / Book Hardback
common.buy 209.34 €
Compagnie Irlandaise M. W. Kirwan / Book Paperback
common.buy 24.20 €
Strategic Networking in Small High Tech Firms Mette Monsted / Book Paperback
common.buy 35.54 €
Wizards' Country DAPHNE ROOKE / Book Paperback
common.buy 13.97 €
Households as Corporate Firms Krislert Samphantharak / Book Paperback
common.buy 41.82 €
Exploring Piano Classics Technique Alfred Publishing / Book Paperback
common.buy 19.03 €
The House of Vanity Hamza Laaouamri / Book Paperback
common.buy 15.49 €
Inequality in the Digital Economy Andrew White / Book Paperback
common.buy 138.24 €
Impressive Robert Klanten / Book Paperback
common.buy 48.30 €
Coming soon New
The Application of GIS Technologies in the Roman Period Fernandez / Book Paperback
common.buy 39.29 €
Decentralization and Development Partnership Fumihiko Saito / Book Paperback
common.buy 51.75 €
Parameter Setting Thomas Roeper / Book Hardback
common.buy 175.92 €
Environmental History of Medieval Europe Richard Hoffmann / Book Paperback
common.buy 45.16 €
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / Book Paperback
common.buy 144.52 €
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Book Hardback
common.buy 114.64 €

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