Formal Methods in Computer-Aided Design

Name: Formal Methods in Computer-Aided Design
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540237389
Price: 19305 HUF
Availability: InStock

5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Szerző: Alan J. Hu, Andrew K. Martin

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 305 Ft

This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods...

Információk a könyvről

Szerző

Alan J. Hu, Andrew K. Martin

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2004

oldal

448

EAN

9783540237389

ISBN

3540237380

Enbook ID

01560042

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

1430

Méretek

155 x 235 x 25

Teljes leírás

This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2004, held in Austin, Texas, USA in November 2004.§The 29 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from 69 submissions. The papers address all current issues on tools, methods, algorithms, and foundational theory for the application of formalized reasoning to all aspects of computer-aided systems design, including specification, verification, synthesis, and testing.

É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

Formal Methods in Computer-Aided Design

5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, 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