Code: 01567506

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 01567506
Price: 110.12 EUR
Availability: InStock
Author: E. Allen Emerson
ISBN: 9783540677703

by E. Allen Emerson, A. Prasad Sistla

Language: English
Binding: Paperback
Number of pages: 590
Publisher: Springer, Berlin, 2000
More about this

110.12 €

In stock at our supplier
Shipping in 14 - 21 days

Add to wishlist

Cocaine and Rhinestones
24.98 € -25 %
Buy
OUR LAST CRUSADE SECRET FILE V03 LN
10.87 € -42 %
Buy
Anatomy of the Abyss: The Neophyte's Compendium
16.41 € -7 %
Buy
SPIDER-MAN. 5 MINUTOS PARA SOÑAR
11.98 € -10 %
Buy
Pokémon: Mein großer Pokémon-Block
8.76 € -13 %
Buy
Standards der OP-Patientenlagerung
65.79 € -6 %
Buy
Principes d'analyse fonctionnelle
35.66 €
Buy
A Woman Loved
12.38 € -26 %
Buy
Ephesians
41.91 € -24 %
Buy
Ruckkehr Der Zeitmaschine
22.26 € -11 %
Buy
German Influence on Australian English
46.34 €
Buy
Der Grundsatz der Verhältnismäßigkeit in der Rechtsprechung des Gerichtshofs der Europäischen Gemeinschaften.
149.82 € -7 %
Buy
Phi Phi Island
13.49 € -10 %
Buy
Miraculous 51
8.35 €
Buy
LES SOEURS DE PRAGUE
10.47 €
Buy
Nanostructured Materials Preparation via Condensation Ways
102.57 € -7 %
Buy
Einfuhrung von Hedge Fonds in Deutschland vor dem Hintergrund des Investmentmodernisierungsgesetzes 2004 und der Entwicklung des Fondswesens
65.69 € -11 %
Buy
Amanda Grows Up: A Novel of Love and Sex
9.66 € -7 %
Buy
Pain and Anxiety Control for the Conscious Dental Patient
160.50 €
Buy
Patriarchs, Prophets and Other Villains
80.80 €
Buy
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
12.28 € -7 %
Buy
Neue Theorie des Management
34.75 € -13 %
Buy
The Haskalah Movement in Russia: Jewish Classics
8.96 € -6 %
Buy
Las celdas de mi cuerpo
4.73 €
Buy
Misguided Obsessions
15.21 €
Buy
Get Going with Kindle Fire in Easy Steps
7.24 € -24 %
Buy
Playwriting
31.33 €
Buy
Small Bodies in Planetary Systems
51.48 € -7 %
Buy
Makeup Designing as an Intersemiotic Translation
68.21 € -14 %
Buy
Frode y los otros pícaros
14.90 € -10 %
Buy
Power System Dynamics and Stability - With Synchrophasor Measurement and Power System Toolbox 2e
114.66 € -10 %
Buy
Embryos under the Microscope
46.94 €
Buy
Dime 1st Edition Student's Book 1 with Audio CD
13.90 €
Buy
BIDAIA
22.66 €
Buy
Mountain Man's Dog
17.52 € -24 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 267 loyalty points

Book synopsis

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.

Book details

Book category Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

110.12 €

Full title: Computer Aided Verification
Subtitle: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings
Author: E. Allen Emerson, A. Prasad Sistla
Language: English
Binding: Paperback
Number of pages: 590
EAN: 9783540677703
ISBN: 3540677704
ID: 01567506
Publisher: Springer, Berlin
Weight: 894 g
Dimensions: 235 × 155 × 30 mm
Published: 2000