Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design /

Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design /

Salvato in:
Dettagli Bibliografici
Enti autori: IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design Houthalen, Belgium, Interuniversity Micro-Electronics Center
Altri autori: Claesen, Luc J. M.
Natura: Atti del Convegno Libro
Lingua:English
Pubblicazione: Amsterdam ; New York : New York, N.Y. : North-Holland ; Distributed in the U.S. and Canada, Elsevier Science Pub. Co., 1990.
Serie:VLSI design methods ; 2
Soggetti:
Integrated circuits > Very large scale integration > Design and construction > Data processing > Congresses.
Computer-aided design > Congresses.
Integrated circuits > Verification > Congresses.

CARM 1 Store

Dettagli sul posseduto da CARM 1 Store
Collocazione: A2:AJ21D0 C04631
Copia 1 Disponibile  Richiedi

Documenti analoghi