Cover Image

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.
Description
Physical Description:329 pages : illustrations
Bibliography:Includes bibliographical references.
ISBN:0444888586