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 /

Na minha lista:
Detalhes bibliográficos
Autores corporativos: IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design Houthalen, Belgium, Interuniversity Micro-Electronics Center
Outros Autores: Claesen, Luc J. M.
Formato: Anais de Congresso Livro
Idioma:English
Publicado em: Amsterdam ; New York : New York, N.Y. : North-Holland ; Distributed for the U.S. and Canada, Elsevier Science Pub. Co., 1990.
coleção:VLSI design methods ; 1
Assuntos:
Integrated circuits > Very large scale integration > Design and construction > Data processing > Congresses.
Computer-aided design > Congresses.
Integrated circuits > Very large scale integration > Testing > Congresses.

CARM 1 Store

Detalhes do Exemplar CARM 1 Store
Área/Cota: A2:AJ21F0 C04642
Cópia 1 Disponível  Localização

Registros relacionados