Formal VLSI specification and synthesis proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

Formal VLSI specification and synthesis proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

Saved in:
Bibliographic Details
Corporate Authors: IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design, Interuniversity Micro-Electronics Center
Other Authors: Claesen, Luc J. M
Format: Unknown
Published: Amsterdam North-Holland 1990
Series:VLSI design methods 1
Subjects:
Computer-aided design > Congresses > Very large scale integration > Design and construction > Data processing > Congresses
Integrated circuits > Very large scale integration > Design and construction > Data processing > Congresses
Integrated circuits > Congresses > Testing > Congresses > Very large scale integration
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xv, 414 p. ill. 23 cm
Bibliography:Includes bibliographical references
ISBN:044488372X

Similar Items