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!
Titel Jahr Band
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 1990 1
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 1990 2
Alle Bände/Ausgaben auflisten