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

Bibliographic Details
Corporate Author:	IFIP WG 10.5
Other Authors:	Staunstrup, J. (Jørgen), 1952-
Format:	Book
Language:	English
Published:	Amsterdam ; New York : North-Holland ; 1990.
Subjects:	Integrated circuits > Very large scale integration > Design and construction > Data processing. Computer-aided design. Integrated circuits > Very large scale integration > Testing.

Remote Storage