A formal approach to hardware design
By: by Jørgen Staunstrup.
Series: The Kluwer international series in engineering and computer science ;; SECS 253.; VLSI, computer architecture and digital signal processing; Kluwer international series in engineering and computer science ;; SECS 253.; Kluwer international series in engineering and computer science.
Publisher: Kluwer Academic Publishers
Published: 1994
Place of publication: Boston
Language: eng
Number of pages: 232
Subjects: Application specific integrated circuits -- Design -- Data processing; Computer-aided design
Notes: Includes bibliographical references (p. 223-228) and index.