Hardware specification, verification, and synthesis : Mathematical aspects : proceedings /

Hardware specification, verification, and synthesis : Mathematical aspects : proceedings /

Saved in:
Bibliographic Details
Corporate Authors: Cornell University. Mathematical Sciences Institute. Workshop, 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.
Integrated circuits > Verification > Congresses.

CARM 1 Store

Holdings details from CARM 1 Store
Call Number: A2:AL17F0 C05335
Copy 1 Available  Place a Hold

Similar Items