Formal methods for VLSI design : IFIP WG 10.5 lecture notes /

Formal methods for VLSI design : IFIP WG 10.5 lecture notes / edited by Jørgen Staunstrup.

Saved in:
Bibliographic Details
Corporate Authors: IFIP WG 10.5, Danmarks tekniske højskole. Instituttet for datateknik
Other Authors: Staunstrup, J. (Jørgen), 1952-
Format: Book
Language:English
Published: Amsterdam ; New York : New York, N.Y., U.S.A. : North-Holland ; Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1990.
Subjects:
Integrated circuits > Very large scale integration > Design and construction > Data processing.
Computer-aided design.
Integrated circuits > Very large scale integration > Testing.

Closed Stacks - Engineering Math & Physics Library - Stacks

Holdings details from Closed Stacks - Engineering Math & Physics Library - Stacks
Call Number: TK7874 .F65 1990
TK7874 .F65 1990 Missing Place a Hold

Similar Items