Practical formal methods for hardware design /

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.

Remote Storage