Correct Hardware Design and Verification Methods

Name: Correct Hardware Design and Verification Methods
Brand: Springer, Berlin
SKU: 9783540603856
Price: 19305 HUF
Availability: InStock

IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings

Szerző: Paolo Enrico Camurati, Hans Eveking

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

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conferen...

Információk a könyvről

Szerző

Paolo Enrico Camurati, Hans Eveking

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1995

oldal

346

EAN

9783540603856

ISBN

3540603859

Enbook ID

05274512

Kiadó

Springer, Berlin

Súly

478

Méretek

155 x 233 x 18

Teljes leírás

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995.The 20 revised full papers presented were carefullyselected by the program committee and address all current aspects of research and advanced applications in the field of formal verification of hardware. Among the topics covered are model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment, and VHDL.

É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

Correct Hardware Design and Verification Methods

IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. 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