A formal approach to hardware design /

Bibliographic Details
Main Author:	Staunstrup, J. (Jørgen), 1952-
Format:	Book
Language:	English
Published:	Boston : Kluwer Academic Publishers, [1994]
Series:	Kluwer international series in engineering and computer science ; SECS 253. Kluwer international series in engineering and computer science. VLSI, computer architecture, and digital signal processing.
Subjects:	Application-specific integrated circuits > Design > Data processing. Computer-aided design.

Remote Storage