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 11.49 €

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: 102.99 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

102.99 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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 €

Tiere und ihr Zuhause Claudia Boldt

Game

14.26 €

¡De vacaciones! PETER KNORR

Paperback

16.89 €

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

Paperback

15.57 €

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 €

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

Paperback

12.13 €

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

Paperback

34.19 €

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

Game

42.48 €

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

Paperback

70.41 €

20.000 leguas de viaje submarino Jules Verne

Hardback

14.26 €

Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin

Paperback

37.43 €

Lean Management Andreas Kammel

Paperback

42.48 €

Journal Martin du Gard

Hardback

70.31 €

Magdeburger Drogenmarkt Sven Paschke

Paperback

33.99 €

Cocktails Manuela Eder

Hardback

5.66 €

Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun

Hardback

22.35 €

Abenteuer des schwarzen Gerard 2 Karl May

Hardback

26.80 €

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

Hardback

24.78 €

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.