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

101.83 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Energie Vaclav Smil

Hardback

15.40 €

Oheň Jane Caseyová

Hardback

10.59 €

El espia que no sabia contar Karlos San Pedro

Paperback

12.30 €

BMG - Bundesmeldegesetz (Deutschland) 2026 Gesetze24 Deutschland

Paperback

10.69 €

CAPTATION AUDIOVISUELLE DES SPECTACLES VIVANTS GUILLOUX JEAN-MARIE

Paperback

31.70 €

Manuel de design graphique - 2e éd. - Forme et espace, couleur, typo, images, composition Timothy Samara

Paperback

36.90 €

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

Paperback

22.80 €

Contos que n?o se contam Rohrig C

Paperback

6.19 €

Zu den Schriften Ivos bon Chartres Franz Plazidus Bliemetzrieder

Paperback

12.90 €

Modernes Sachsen Ralph Lindner

Paperback

20.30 €

Josep Carner-Ribalta GEORGE CARNER

Paperback

18.60 €

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

Paperback

16.80 €

Podstawy ekonomii Podrecznik Janina Mierzejewska-Majcherek

Paperback

10.29 €

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

Paperback

58.11 €

Die Evolution vom Gesichtspunkte des Wahrhaftigen Rudolf Steiner

Hardback

30.10 €

Klekání Francis Jammes

Sheet

8.09 €

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.