Cover Image

Practical formal methods for hardware design /

Show other versions (1)
Bibliographic Details
Other Authors: Delgado Kloos, Carlos, Damm, Werner
Format: Book
Language:English
Published: Berlin ; New York : Springer, [1997]
Series:Research reports ESPRIT. FORMAT ; vol. 1.
Subjects:
Digital integrated circuits > Design and construction > Methodology.
Logic circuits > Design and construction > Methodology.
Computer hardware description languages.
Description
Physical Description:xiv, 293 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references.
ISBN:3540620079