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

12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification E. Allen Emerson
Libristo code: 01567506
Publishers Springer, Berlin, November 1999
This book constitutes the refereed proceedings of the 12th International Conference on Computer Aide... Full description
? points 277 b
114.52 €
Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

Pokémon: Mein großer Pokémon-Block Panini / Book Paperback
common.buy 8.79 €
600 Primeras Palabras Más Usadas Tarjetas Bebe Bilingüe Vocabulario Espa?ol Portugués Libro Infantiles Para Ni?os: Aprender imaginario diccionario bás Lenguaje Preparacion / Book Paperback
common.buy 13.04 €
Der Grundsatz der Verhältnismäßigkeit in der Rechtsprechung des Gerichtshofs der Europäischen Gemeinschaften. Oliver Koch / Book Paperback
common.buy 131.72 €
SPIDER-MAN. 5 MINUTOS PARA SOÑAR MARVEL / Book Book
common.buy 12.03 €
Las celdas de mi cuerpo Rivero / Book Paperback
common.buy 4.85 €
BIDAIA SANNA / Book Hardback
common.buy 22.15 €
Principes d'analyse fonctionnelle WILLEM / Book Paperback
common.buy 36.82 €
Le Livre des merveilles du monde Polo / Book Paperback
common.buy 4.44 €
Phi Phi Island Josef Haslinger / Book Paperback
common.buy 13.55 €
Vogesen Curt Mundel / Book Paperback
common.buy 57.86 €
Standards der OP-Patientenlagerung Sadik Duru / Book Paperback
common.buy 66.06 €
Ruckkehr Der Zeitmaschine Egon Friedell / Book Hardback
common.buy 22.35 €
LES SOEURS DE PRAGUE J. Garcin / Book Paperback
common.buy 11.52 €
Einfuhrung von Hedge Fonds in Deutschland vor dem Hintergrund des Investmentmodernisierungsgesetzes 2004 und der Entwicklung des Fondswesens Susanne Steimel / Book Paperback
common.buy 65.96 €

This book constitutes the refereed proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, held in Chicago, IL, USA in July 2000.§The 35 revised full papers presented together with 9 tool papers were carefully reviewed and selected from 91 submissions. The papers address all current aspects of the theory and practice of formal methods for hardware and software verification. Emphasis is given to verification algorithms, methods, and tools and their implementation.

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 E. Allen Emerson, A. Prasad Sistla
Language English
Binding Book - Paperback
Date of issue 2000
Number of pages 590
EAN 9783540677703
ISBN 3540677704
Libristo code 01567506
Publishers Springer, Berlin
Weight 894
Dimensions 155 x 235 x 30

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Medicine & Nursing > Medicine: general issues
Computing & Information Technology > Operating systems
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

German Influence on Australian English Markus Bieswanger / Book Paperback
common.buy 46.84 €
A Woman Loved Andre Makine / Book Paperback
common.buy 13.35 €
Top
OUR LAST CRUSADE SECRET FILE V03 LN V03 / Book Paperback
common.buy 12.13 €
Cocaine and Rhinestones Wayne White / Book Hardback
common.buy 26.80 €
Anatomy of the Abyss: The Neophyte's Compendium Dusan Trajkovic / Book Paperback
common.buy 17.39 €
Amanda Grows Up: A Novel of Love and Sex Kathryn M Burke / Book Paperback
common.buy 10.31 €
The Haskalah Movement in Russia: Jewish Classics Jacob S Raison Ph D / Book Paperback
common.buy 9.40 €
Power System Dynamics and Stability - With Synchrophasor Measurement and Power System Toolbox 2e Peter W. Sauer / Book Hardback
common.buy 124.95 €
Mountain Man's Dog Gary Corbin / Book Hardback
common.buy 18.71 €
Patriarchs, Prophets and Other Villains Lisa Isherwood / Book Paperback
common.buy 76.99 €
Consciousness Of The Atom Alice a Bailey / Book Paperback
common.buy 14.96 €
Misguided Obsessions Dinah Walker / Book Paperback
common.buy 19.92 €
Playwriting Effiong Johnson / Book Hardback
common.buy 32.67 €
Dime 1st Edition Student's Book 1 with Audio CD Malva Lewis / Book binding.
common.buy 13.95 €
Ephesians Frank S. Thielman / Book Hardback
common.buy 42.99 €
Inner Grace Phillip Cary / Book Hardback
common.buy 89.13 €
Embryos under the Microscope Jane Maienschein / Book Hardback
common.buy 49.06 €
Get Going with Kindle Fire in Easy Steps Nick Vandome / Book Paperback
common.buy 10.01 €
Nanostructured Materials Preparation via Condensation Ways Anatolii D. Pomogailo / Book Hardback
common.buy 102.99 €
Plant Toxin Analysis Hans F. Linskens / Book Hardback
common.buy 201.23 €
Small Bodies in Planetary Systems I. Mann / Book Hardback
common.buy 51.69 €

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