Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Computer Aided Verification

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

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Ed Brinksma

Kim G. Larsen

Language

English

Book Paperback

Libristo code: 01564506

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2002

This book constitutes the refereed proceedings of the 14th International Conference on Computer Aide... Full description

Libristo code: 01564506

249 b

103.01 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Model dydaktyczny dotycz¿cy kszta¿cenia zawodowego w dziedzinie po¿o¿nictwa Carmen Hild-Schober

Paperback

55.14 €

Biblia Reina Valera Letra Súper Gigante, Símil Piel Negro / Spanish Bible Reina Valera Super Giant Print, Black Leathersoft Reina Valera 1909

Paperback

29.03 €

Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin

Paperback

37.43 €

20.000 leguas de viaje submarino Jules Verne

Hardback

18.51 €

Magdeburger Drogenmarkt Sven Paschke

Paperback

33.99 €

I care Lernkarten Spezielle Pflege - Anatomie, Physiologie, Krankheitslehre und Pflege bei speziellen Erkrankungen Walter Anton

Game

42.49 €

L'orchestre des animaux joue Vivaldi - dès 3 ans Sam Taplin

Book

18.10 €

Marketing Gubernamental. Manual de estrategias y herramientas para gobiernos e instituciones en la e PEREZ ROJAS

Paperback

30.96 €

Albert & Einstein. Spannender Rätselkrimi zum Mitraten, Band 1: In den Fängen von Dr. Chaos (Lustiges Rätselbuch ab 8 Jahre) Tim Collins

Paperback

7.38 €

O Livro de Metatron - O Anjo da Presença Max Stone

Paperback

15.57 €

¡De vacaciones! PETER KNORR

Paperback

16.89 €

Pán prstenů Návrat krále John Ronald Reuel Tolkien

Hardback

24.78 €

Gipfel der Götter. Bd.1 Jiro Taniguchi

Paperback

16.08 €

Contraception Et D sir d'Enfant Aimée Patricia Ndembi Ndembi

Paperback

70.42 €

Tiere und ihr Zuhause Claudia Boldt

Game

14.26 €

Čeho bychom se měli obávat? John Brockman

Paperback

12.13 €

Science Fiction Stories Jürgen Schnaible

Paperback

35.61 €

Pomsta za neveru Inéz Melichová

Hardback

10.41 €

Lean Management Andreas Kammel

Paperback

42.59 €

Hayaller Gemisi Koray Avci cakman

Paperback

7.28 €

Anna und die mongolische Prinzessin: Quentin Akademie der magischen Künste und Wissenschaften, Buch 3 Brigitte Novalis

Paperback

13.96 €

Abenteuer des schwarzen Gerard 2 Karl May

Hardback

26.81 €

Stein Unter Steinen: Schauspiel in 4 Akten Hermann Sudermann

Paperback

19.32 €

Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun

Hardback

22.35 €

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.