VLSI design methods proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design ..., Houthalen, Belgium, 13 - 16 November, 1989 1 Formal VLSI specification and synthesis

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Workshop on Applied Formal Methods for Correct VLSI Design (BerichterstatterIn)
Weitere Verfasser:	Claesen, Luc J. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. North-Holland 1990
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!