Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642026577
Price: 39357 HUF
Availability: InStock

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

Szerző: Ahmed Bouajjani, Oded Maler

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

39 357 Ft

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

Információk a könyvről

Szerző

Ahmed Bouajjani, Oded Maler

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2009

oldal

722

EAN

9783642026577

ISBN

3642026575

Enbook ID

01650024

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

1116

Méretek

155 x 235 x 40

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Computer Aided Verification

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták