Code: 01567506

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 01567506
Price: 109.21 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

109.21 €

Low in stock at our supplier
Shipping in 11 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

OUR LAST CRUSADE SECRET FILE V03 LN
14.44 € -23 %
Buy
Anatomy of the Abyss: The Neophyte's Compendium
16.46 € -7 %
Buy
Cocaine and Rhinestones
25.05 € -25 %
Buy
SPIDER-MAN. 5 MINUTOS PARA SOÑAR
12.01 € -10 %
Buy
Standards der OP-Patientenlagerung
65.96 € -6 %
Buy
Pokémon: Mein großer Pokémon-Block
8.78 € -13 %
Buy
Principes d'analyse fonctionnelle
36.77 €
Buy
A Woman Loved
12.42 € -26 %
Buy
Ephesians
42.83 € -20 %
Buy
LES SOEURS DE PRAGUE
11.51 €
Buy
German Influence on Australian English
46.77 €
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.32 € -7 %
Buy
Phi Phi Island
13.53 € -10 %
Buy
Einfuhrung von Hedge Fonds in Deutschland vor dem Hintergrund des Investmentmodernisierungsgesetzes 2004 und der Entwicklung des Fondswesens
65.86 € -11 %
Buy
Ruckkehr Der Zeitmaschine
22.32 € -11 %
Buy
Las celdas de mi cuerpo
4.84 €
Buy
Power System Dynamics and Stability - With Synchrophasor Measurement and Power System Toolbox 2e
118.20 € -10 %
Buy
Get Going with Kindle Fire in Easy Steps
7.37 € -14 %
Buy
Nanostructured Materials Preparation via Condensation Ways
102.84 € -7 %
Buy
Amanda Grows Up: A Novel of Love and Sex
9.69 € -7 %
Buy
Patriarchs, Prophets and Other Villains
76.88 €
Buy
Dime 1st Edition Student's Book 1 with Audio CD
13.93 €
Buy
Le Livre des merveilles du monde
4.44 €
Buy
Playwriting
31.21 €
Buy
The Haskalah Movement in Russia: Jewish Classics
8.98 € -6 %
Buy
Plant Toxin Analysis
200.94 € -9 %
Buy
Consciousness Of The Atom
14.34 €
Buy
Misguided Obsessions
18.98 €
Buy
Embryos under the Microscope
47.07 €
Buy
Small Bodies in Planetary Systems
51.62 € -7 %
Buy
BIDAIA
23.73 €
Buy
Der Grundsatz der Verhältnismäßigkeit in der Rechtsprechung des Gerichtshofs der Europäischen Gemeinschaften.
131.53 € -6 %
Buy
Mountain Man's Dog
17.57 € -24 %
Buy
Inner Grace
85.16 €
Buy
Vogesen
57.78 € -11 %
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 265 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 Books in English Computing & information technology Computer programming / software development Software Engineering

109.21 €

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