Code: 05274476

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 05274476
Price: 51.78 EUR
Availability: InStock
Author: Pierre Wolper
ISBN: 9783540600459

by Pierre Wolper

This volume contains the proceedings of the 7th International Conference on Computer Aided Verification. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and ... more

Language: English
Binding: Paperback
Number of pages: 456
Publisher: Springer, Berlin, 1995
More about this

51.78 €

RRP: 56.07 €

You save 4.29 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Science of Mother-Infant Sleep: Current Findings on Bedsharing, Breastfeeding, Sleep Training, and Normal Infant Sleep
14.89 € -7 %
Buy
5-Minute Bible Study for Women
5.87 € -25 %
Buy
My First Encyclopedia of Trees (giant Size)
5.56 € -25 %
Buy
Les Fables de La Fontaine - Livre 1-2-3-4
20.87 € -7 %
Buy
Easy Ukulele Songs
9.82 € -6 %
Buy
Grain EP
14.38 € -25 %
Buy
Panorama della letteratura italiana: Dae origini ai giorni nostri
18.43 € -6 %
Buy
Lebensversicherungsvertrage
9.11 € -10 %
Buy
Archive Stories
138.83 €
Buy
Controla Tú Vida Comiendo Sano: Conoce la armonía de comer bien y tener control de tu vida
7.29 € -6 %
Buy
I Am A Key
12.15 € -2 %
Buy
notti chiare
17.93 €
Buy
Adaptive Coding and Modulation
49.04 € -2 %
Buy
Meat me: The end of a new beginning
12.35 € -7 %
Buy
Papiermache Figuren selbst gebaut
13.16 € -10 %
Buy
Psychotraumatology
206.13 € -7 %
Buy
Jane Butel's Simply Southwestern
25.12 € -25 %
Buy
Cronicando
22.89 €
Buy
Diffusion and Use of Genomic Innovations in Health and Medicine
59.68 € -14 %
Buy
Die Kunst des Zweifelns
10.83 € -4 %
Buy
Perspectives on U.S. Policy Toward North Korea
60.90 €
Buy
Manager pour apprendre
40.93 € -14 %
Buy
Middle East
209.47 €
Buy
Advances in Systems Biology
206.13 € -7 %
Buy
TISSUE BANKS: IS THE FEDERAL GOVERNMENT'S OVERSIGHT ADEQUATE?
26.34 € -2 %
Buy
Metropolitan Poor Vol 5
146.13 €
Buy
Blake's Reading Log
7.89 € -24 %
Buy
Le Parc Naturel Régional du Morvan à pied
22.39 €
Buy
Farmer's Magazine
38.30 € -1 %
Buy
Between Resource Plenty and State Failure
17.12 € -14 %
Buy
Sacred Hymns and Spiritual Songs
28.57 € -14 %
Buy
Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern
25.12 € -11 %
Buy
L'Olimpia
17.93 € -11 %
Buy
The Administration Of Iowa: A Study In Centralization, Issues 46-48
32.83 € -2 %
Buy
Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD
8.60 € -15 %
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 125 loyalty points

Book synopsis

Book details

Book category Books in English Computing & information technology Computer science Systems analysis & design

51.78 €

Full title: Computer Aided Verification
Subtitle: 7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995. Proceedings
Author: Pierre Wolper
Language: English
Binding: Paperback
Number of pages: 456
EAN: 9783540600459
ISBN: 3540600450
ID: 05274476
Publisher: Springer, Berlin
Weight: 622 g
Dimensions: 234 × 156 × 23 mm
Published: 1995