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

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 2 Formal VLSI correctness verification

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!
Beschreibung
Beschreibung:XV, 427 S.
graph. Darst.
ISBN:0444886885
0-444-88688-5