Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 9783540677703
Price: 40448 HUF
Availability: InStock

12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings

Szerző: E. Allen Emerson, A. Prasad Sistla

Nyelv:

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

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 13-18 napon belül

40 448 Ft

This book constitutes the refereed proceedings of the 12th International Conference on Computer Aide...

Információk a könyvről

Szerző

E. Allen Emerson, A. Prasad Sistla

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2000

oldal

590

EAN

9783540677703

ISBN

3540677704

Enbook ID

01567506

Kiadó

Springer, Berlin

Súly

894

Méretek

155 x 235 x 30

Teljes leírás

This book constitutes the refereed proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, held in Chicago, IL, USA in July 2000.§The 35 revised full papers presented together with 9 tool papers were carefully reviewed and selected from 91 submissions. The papers address all current aspects of the theory and practice of formal methods for hardware and software verification. Emphasis is given to verification algorithms, methods, and tools and their implementation.

É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

12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 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