Hardware specification, verification, and synthesis
Subtitle: Mathematical aspects : proceedings
By: M. Leeser, G. Brown, eds. ; Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 proceedings.--
Contributors: Leeser, M. 1958-; Brown, G. 1960-; Cornell University. Mathematical Sciences Institute.
Series: Lecture notes in computer science ;; 408
Publisher: Springer-Verlag
Published: 1990
Place of publication: Berlin; New York
Language: eng
Number of pages: 402
Subjects: Integrated circuits -- Very large scale integration -- Design and construction -- Data processing -- Congresses; Integrated circuits -- Verification -- Congresses
Notes: Includes bibliographical notes.