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 9.99 €
phone Contact phoneHow to shop

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification Rajeev Alur
Libristo code: 01559563
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2004
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aide... Full description
? points 249 b
102.99 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

TNM Atlas 7e JD Brierley / Book Paperback
common.buy 99.65 €
Star Wars Animation POP! Vinyl Figure Comm Wolffe 9 cm Game/Toy Toy
common.buy 21.64 €
Cosa Nostra John Dickie / Book Paperback
common.buy 14.56 €
Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa / Book Paperback
common.buy 7.68 €
Praha mapa turistických zajímavostí / Printed items Map
common.buy 2.42 €
PALINODIE Giacomo LEOPARDI / Book Paperback
common.buy 9.40 €
VITICULTURE 14 PLANCHES AVEC 56 PHOTOGRAPHIES EN COULEUR Simon Jacques / Book Hardback
common.buy 22.45 €
Fêtes et Chansons anciennes de la Chine Marcel Granet / Book Paperback
common.buy 32.27 €
Maison la plus grande du monde (La) LIONNI / Book Paperback
common.buy 8.79 €
Adolescence, maltraitance et placement Van Hooland / Book Paperback
common.buy 19.32 €
Offizielle Softballregeln 2018-2021 Thomas Haller / Book Paperback
common.buy 7.38 €
L'imperatore dei Mondi- Libro Uno (Terra e Acqua) LUCA NAZZARRI / Book Paperback
common.buy 18.00 €
Lodní kufr Miloš Hoznauer / Book Hardback
common.buy 8.99 €
Código de insolvencias empresariales Rodriguez Achutegui / Book Paperback
common.buy 77.80 €
1870 -1871. Vier Bucher deutscher Geschichte Johannes Scherr / Book Paperback
common.buy 27.71 €
Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen / Book Paperback
common.buy 11.73 €
Affordable
Harry Potter Tvory a netvory Jody Revenson / Book Hardback
common.buy 11.12 €

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004.The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

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 Rajeev Alur, Doron A. Peled
Language English
Binding Book - Paperback
Date of issue 2004
Number of pages 536
EAN 9783540223429
ISBN 3540223428
Libristo code 01559563
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1700
Dimensions 155 x 233 x 30

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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 > Computer science > Artificial intelligence
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

Neuroeconomics MARTIN REUTER / Book Paperback
common.buy 164.61 €
Happiness Andy Cope / Book Hardback
common.buy 16.28 €
Cuckold Visiting Fellow Adfa Roger (Virginia Military Institute University of New South Wales Virginia Military Institute Virginia Military Institute Virginia / Book Hardback
common.buy 32.67 €
Managing the Moon Program NASA History Division / Book Paperback
common.buy 20.02 €
Three Musketeers Omnibus, Volume Two (six Complete and Unabridged Books in Two Volumes) Alexandre Dumas / Book Hardback
common.buy 80.73 €
Operatic China D. Lei / Book Paperback
common.buy 96.31 €
Taken by the Boss Noah Maddix / Book Paperback
common.buy 19.32 €
Church of England - Charity Law and Human Rights Kerry O'Halloran / Book Paperback
common.buy 102.99 €
Women Who Move Mountains Sue Detweiler / Book Paperback
common.buy 15.77 €
Maria The Monarch Homero Aridjis / Book Paperback
common.buy 13.85 €
Beyond Babar Sandra L. Beckett / E-book Adobe ePub DRM
common.buy 95.10 €
Interest Reconciliation between Aborginal and Non-Aboriginal Communities - Pervasive Challenges to Interest Reconciliation between Aboriginal and Non- Diana Groffen / Book Paperback
common.buy 51.49 €
Stories of Animal Sagacity W. H. G. Kingston / Book Paperback
common.buy 19.72 €
More Than Words Vernon Logan / Book Paperback
common.buy 17.09 €
Solemn Duty in the Old Guard Mark Joseph Mongilutz / Book Paperback
common.buy 35.50 €
Chasing Time F I Goldhaber / Book Paperback
common.buy 10.82 €
Top
Devil's Reign Zdarsky / Book Paperback
common.buy 27.11 €
Beginner's Guide to Create Models With CINEMA 4D R18 Studio Ravi Conor / Book Paperback
common.buy 23.87 €
Affordable
Pseudoephedrine Sulfate (OTC); A Complete Guide G J Blokdijk / Book Paperback
common.buy 2.22 €
The Numismatic Review and Coin Galleries Fixed Price List; 4n3 Stack's Bowers / Book Paperback
common.buy 16.48 €
Second Language Teacher Education Diane J. Tedick / Book Paperback
common.buy 97.02 €
Embodying Health Identities A James / Book Paperback
common.buy 61.51 €
Sensational Butterflies Sticker Book Natural History Museum / Book Paperback
common.buy 8.39 €
History of Science, History of Text Karine Chemla / Book Hardback
common.buy 257.29 €

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?