Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564506
Price: 39624 HUF
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

271 b

39 624 Ft

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

11 296 Ft

Tiere und ihr Zuhause Claudia Boldt

Game

5 514 Ft

¡De vacaciones! PETER KNORR

Paperback

5 971 Ft

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

Paperback

5 939 Ft

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

2 852 Ft

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

Paperback

4 287 Ft

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

Paperback

12 118 Ft

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

Game

16 404 Ft

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

Paperback

27 248 Ft

20.000 leguas de viaje submarino Jules Verne

Hardback

5 560 Ft

Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin

Paperback

14 415 Ft

Lean Management Andreas Kammel

Paperback

16 404 Ft

Journal Martin du Gard

Hardback

24 890 Ft

Magdeburger Drogenmarkt Sven Paschke

Paperback

13 156 Ft

Cocktails Manuela Eder

Hardback

2 178 Ft

Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun

Hardback

8 661 Ft

Abenteuer des schwarzen Gerard 2 Karl May

Hardback

10 373 Ft

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

Hardback

11 079 Ft

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.