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: 01650024
Price: 103.07 EUR
Availability: InStock
Author: Ahmed Bouajjani
ISBN: 9783642026577

21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Ahmed Bouajjani

Oded Maler

Language

English

Book Paperback

Libristo code: 01650024

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2009

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aide... Full description

Libristo code: 01650024

249 b

103.07 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

BMG - Bundesmeldegesetz (Deutschland) 2026 Gesetze24 Deutschland

Paperback

11.03 €

Energie Vaclav Smil

Hardback

15.58 €

Oheň Jane Caseyová

Hardback

10.72 €

El espia que no sabia contar Karlos San Pedro

Paperback

12.45 €

CAPTATION AUDIOVISUELLE DES SPECTACLES VIVANTS GUILLOUX JEAN-MARIE

Paperback

29.66 €

Jydsk Staevne: Et Aarsskrift... Jeppe Aakj R.

Paperback

23.08 €

Contos que n?o se contam Rohrig C

Paperback

6.17 €

Zu den Schriften Ivos bon Chartres Franz Plazidus Bliemetzrieder

Paperback

13.26 €

Klekání Francis Jammes

Sheet

8.19 €

Modernes Sachsen Ralph Lindner

Paperback

20.85 €

Die Evolution vom Gesichtspunkte des Wahrhaftigen Rudolf Steiner

Hardback

30.47 €

Cómo estudiar 2. Ejercicios prácticos Antonio Vallés Arándiga

Paperback

15.58 €

Podstawy ekonomii Podrecznik Janina Mierzejewska-Majcherek

Paperback

10.62 €

Etude comparative et Amélioration des protocoles de Routage(LEACH&SEP) Rahma Gantassi

Paperback

58.82 €

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009.§The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.