Formal Methods in Computer-Aided Design

Name: Formal Methods in Computer-Aided Design
Brand: Springer, Berlin
SKU: 9783540619376
Price: 19201 HUF
Availability: InStock

First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996, Proceedings

Szerző: Albert Camilleri, Mandayam Srivas

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

19 201 Ft

This book constitutes the refereed proceedings of the First International Conference on Formal Metho...

Információk a könyvről

Szerző

Albert Camilleri, Mandayam Srivas

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1996

oldal

478

EAN

9783540619376

ISBN

3540619372

Enbook ID

05274636

Kiadó

Springer, Berlin

Súly

628

Méretek

156 x 234 x 24

Teljes leírás

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996.The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including 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

First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996, 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