Hardware specification, verification, and synthesis : mathematical aspects Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989, proceedings /

Bibliographic Details
Corporate Author:	Cornell University. Mathematical Sciences Institute
Other Authors:	Leeser, M. (Miriam), 1958-, Brown, G. (Geoffrey), 1960-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1990.
Series:	Lecture notes in computer science ; 408.
Subjects:	Integrated circuits > Very large scale integration > Design and construction > Data processing > Congresses.

Remote Storage