Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540472377
Price: 19243 HUF
Availability: InStock

4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Szerző: Susanne Graf, Wenhui Zhang

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

19 243 Ft

This book constitutes the refereed proceedings of the Third International Symposium on Automated Tec...

Információk a könyvről

Szerző

Susanne Graf, Wenhui Zhang

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2006

oldal

546

EAN

9783540472377

ISBN

3540472371

Enbook ID

01564910

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

1710

Méretek

155 x 235 x 30

Teljes leírás

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.§The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.

É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

Automated Technology for Verification and Analysis

4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, 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