Code: 01564506

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564506
Price: 102.84 EUR
Availability: InStock
Author: Ed Brinksma
ISBN: 9783540439974

by Ed Brinksma, Kim G. Larsen

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

102.84 €

RRP: 111.46 €

You save 8.61 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Epic Drives of the World 1
19.79 € -7 %
Buy
Let's Find Momo!
7.87 € -29 %
Buy
Mauser Rifles, Vol. 1: 1870-1918
19.59 € -21 %
Buy
Eden of Witches Volume 1
9.99 € -24 %
Buy
Pán prstenů Návrat krále
25.45 € -10 %
Buy
Complete Peanuts 1997-1998
18.48 € -29 %
Buy
Introduction to Logic and Theory of Knowledge
262.47 €
Buy
This Is Not A Book
16.86 € -30 %
Buy
Čeho bychom se měli obávat?
11.71 € -15 %
Buy
Biblia Reina Valera Letra Súper Gigante, Símil Piel Negro / Spanish Bible Reina Valera Super Giant Print, Black Leathersoft
27.17 € -24 %
Buy
Honda Jazz
35.86 € -15 %
Buy
Harry Potter and the Half-Blood Prince, 6
11.31 € -25 %
Buy
Research Methods in Publishing and Book Studies
58.79 €
Buy
Cocktails
5.65 €
Buy
Essential Elements Jazz Play-Along - Jazz Standards: Rhythm Section [With CDROM]
13.12 € -22 %
Buy
Pediatric Dysphagia
140.83 € -9 %
Buy
20.000 leguas de viaje submarino
13.33 € -17 %
Buy
The Case of the Measled Cowboy
14.74 € -25 %
Buy
Taste of Home How Do I Make...?
16.66 € -9 %
Buy
Investment Banking
82.33 €
Buy
Cheerleading
33.03 €
Buy
Intelligence-Based Healthcare
143.15 €
Pre-order
Designing and Planting Small Gardens
8.68 € -25 %
Buy
Lean Management
42.42 € -6 %
Buy
The Religion Of The Spirit World: Written By The Spirits Themselves (1920)
26.46 € -1 %
Buy
Journal
70.21 €
Buy
Biomedical Institutions, Biomedical Funding, and Public Policy
51.62 € -7 %
Buy
Stephen Crane's Classics: The Red Badge of Courage and Maggie: A Girl of the Streets
9.79 € -6 %
Buy
Hawaiian Chihuahua
8.88 € -7 %
Buy
¡De vacaciones!
16.86 € -4 %
Buy
Magdeburger Drogenmarkt
33.94 € -11 %
Buy
Stalinist Values
158.51 €
Buy
Contraception Et D sir d'Enfant
70.31 € -11 %
Buy
Under the Gaslight
12.62 € -14 %
Buy
Glimmerglass
21.91 € -9 %
Buy
LAW REPORTS PRIVY COUNCIL APPE
37.27 € -1 %
Buy
Tiere und ihr Zuhause
14.24 € -11 %
Buy
Dynamic Well Testing in Petroleum Exploration and Development
191.04 €
Buy
Spitfire
16.16 € -17 %
Buy
SAXON MATH COURSE 1
210.54 €
Buy
Introduction to Home Management
35.65 € -14 %
Buy
Marketing Gubernamental. Manual de estrategias y herramientas para gobiernos e instituciones en la e
34.14 €
Buy
The Prodigal Son Revisited: Exit and Return of Angels, Humans, and the Trinity
16.56 € -7 %
Buy
Audible Life Stream
19.89 € -18 %
Buy
Allamance County
19.59 € -21 %
Buy
Stein Unter Steinen: Schauspiel in 4 Akten
18.38 € -1 %
Buy
Arab Business Yearbook 1986
154.16 € -7 %
Buy
Aus Dem Geschlecht Der Byge - Erster Band
22.32 € -11 %
Buy
Who Is Bharat Mata? On History, Culture and the Idea of India
27.47 € -17 %
Buy
O Livro de Metatron - O Anjo da Presença
14.84 € -1 %
Buy
Albert & Einstein. Spannender Rätselkrimi zum Mitraten, Band 1: In den Fängen von Dr. Chaos (Lustiges Rätselbuch ab 8 Jahre)
7.37 € -8 %
Buy
Abenteuer des schwarzen Gerard 2
26.76 € -11 %
Buy
Approximate Distributions of Order Statistics
90.82 €
Buy
Housing in Taiwan
164.87 €
Buy
Inspired
16.66 € -2 %
Buy
Lucille Teasdale
14.74 € -25 %
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 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.

Book details

Book category Books in English Computing & information technology Computer science

102.84 €

Full title: Computer Aided Verification
Subtitle: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
Author: Ed Brinksma, Kim G. Larsen
Language: English
Binding: Paperback
Number of pages: 362
EAN: 9783540439974
ISBN: 3540439978
ID: 01564506
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 2010 g
Dimensions: 233 × 155 × 36 mm
Date of publishing: 19. July 2002