Correct Hardware Design and Verification Methods

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

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

Autor: Paolo Enrico Camurati, Hans Eveking

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.19 €

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

Informácie o knihe

Autor

Paolo Enrico Camurati, Hans Eveking

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1995

Stránok

346

EAN

9783540603856

ISBN

3540603859

Enbook ID

05274512

Vydavateľ

Springer, Berlin

Hmotnosť

478

Rozmery

155 x 233 x 18

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Correct Hardware Design and Verification Methods

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež