Correct Hardware Design and Verification Methods

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

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

Автор: Paolo Enrico Camurati, Hans Eveking

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

52.84 € 103.34 лв

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

Информация за книгата

Автор

Paolo Enrico Camurati, Hans Eveking

Език

Английски език

Корици

Книга - С меки корици

Издадена

1995

страници

346

EAN

9783540603856

ISBN

3540603859

Enbook ID

05274512

Издател

Springer, Berlin

Теглоt

478

Размери

155 x 233 x 18

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Correct Hardware Design and Verification Methods

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

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също