Code: 01559563

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559563
Price: 102.97 EUR
Availability: InStock
Author: Rajeev Alur
ISBN: 9783540223429

by Rajeev Alur, Doron A. Peled

Language: English
Binding: Paperback
Number of pages: 536
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004
More about this

102.97 €

RRP: 111.59 €

You save 8.63 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Devil's Reign
32.56 € -5 %
Buy
Grounded
16.58 € -7 %
Buy
Exam Essentials: Cambridge First Practice Tests 1 w/key + DV
46.12 €
Buy
Harry Potter Tvory a netvory
21.54 € -32 %
Buy
Nadchodzi III wojna światowa. Czy Ameryka porzuci Polskę na pastwę Rosji? wyd. 2022
12.94 € -13 %
Buy
Cosa Nostra
14.56 € -14 %
Buy
Pseudoephedrine Sulfate (OTC); A Complete Guide
2.22 € -1 %
Buy
Swahili Grammar and Workbook
80.81 €
Buy
Praha mapa turistických zajímavostí
2.22 € -17 %
Pre-order
Cuckold
31.25 €
Buy
Star Wars Animation POP! Vinyl Figure Comm Wolffe 9 cm
21.64 € -6 %
Pre-order
TNM Atlas 7e
102.87 €
Buy
PALINODIE
9.70 €
Buy
1001 Easy Spanish Phrases
7.27 € -24 %
Buy
Maria The Monarch
12.94 € -24 %
Buy
Happiness
15.77 € -9 %
Buy
Multispectral Satellite Image Understanding
144.04 € -7 %
Buy
More Than Words
16.18 € -7 %
Buy
Generations on the Land
22.85 € -9 %
Buy
Managing the Moon Program
19.11 €
Buy
Three Musketeers Omnibus, Volume Two (six Complete and Unabridged Books in Two Volumes)
67.97 €
Buy
Pure Cute
9.70 € -9 %
Buy
Código de insolvencias empresariales
77.78 €
Buy
Second Language Teacher Education
88.70 €
Buy
Women Who Move Mountains
14.86 € -24 %
Buy
VITICULTURE 14 PLANCHES AVEC 56 PHOTOGRAPHIES EN COULEUR
22.85 €
Buy
Adolescence, maltraitance et placement
19.31 € -6 %
Buy
Fêtes et Chansons anciennes de la Chine
32.66 €
Buy
Making Schools Different
120.06 € -9 %
Buy
Virtual Machining Using CAMWorks 2021
75.55 €
Pre-order
Maison la plus grande du monde (La)
9.09 €
Buy
Interpretations of Native North American Life
28.41 €
Buy
Church of England - Charity Law and Human Rights
102.97 € -7 %
Buy
Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche
11.72 € -10 %
Buy
1870 -1871. Vier Bucher deutscher Geschichte
27.71 € -11 %
Buy
Solemn Duty in the Old Guard
33.78 €
Buy
Operatic China
91.74 €
Buy
Interest Reconciliation between Aborginal and Non-Aboriginal Communities - Pervasive Challenges to Interest Reconciliation between Aboriginal and Non-
48.95 € -2 %
Buy
The Numismatic Review and Coin Galleries Fixed Price List; 4n3
15.67 € -2 %
Buy
Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa
8.69 € -10 %
Buy
History of Science, History of Text
245.60 €
Buy
Embodying Health Identities
62.10 €
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 249 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science

102.97 €

Full title: Computer Aided Verification
Subtitle: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
Author: Rajeev Alur, Doron A. Peled
Language: English
Binding: Paperback
Number of pages: 536
EAN: 9783540223429
ISBN: 3540223428
ID: 01559563
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 1700 g
Dimensions: 233 × 155 × 30 mm
Date of publishing: 29. June 2004