Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 9783540423454
Price: 38497 HUF
Availability: InStock

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Szerző: Gerard Berry, Hubert Comon, Alain Finkel

Nyelv:

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

Kiadó: Springer, Berlin

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

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

38 497 Ft

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

Információk a könyvről

Szerző

Gerard Berry, Hubert Comon, Alain Finkel

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2007

oldal

522

EAN

9783540423454

ISBN

3540423451

Enbook ID

01563631

Kiadó

Springer, Berlin

Súly

794

Méretek

155 x 233 x 28

Teljes leírás

This book constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001.§The 33 revised full papers presented were carefully reviewed and selected from 106 regular paper submissions; also included are 13 reviewed tool presentations selected from 27 submissions. The book offers topical sections on model checking and theorem proving, automata techniques, verification core technology, BDD and decision trees, abstraction and refinement, combinations, infinite state systems, temporal logics and verification, microprocessor verification and cache coherence, SAT and applications, and timed automata.

É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

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. 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