Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO
Congreso IFIP WG10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989. Houthalen, Belgium)

Título 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 / sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen

Publicación Amsterdam : North-Holland, 1990
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-CARQ 236  vol. 1    CONSULTAR DEPT  DISPONIBLE
 EINA.Informática/Sistemas  IS-CARQ 237  vol. 2    CONSULTAR DEPT  DISPONIBLE
Descripción física 2 v. : il. ; 23 cm
Bibliografía Incluye referencias bibliográficas
Materia Circuitos integrados a muy gran escala -- Congresos
       Mostrar referencias similares
Diseño asistido por ordenador -- Congresos
       Mostrar referencias similares
Autor secundario Claesen, Luc J. M., ed. lit.
Interuniversity Micro-Electronics Center
ISBN 044488372X (v. 1)
0444886885 (v. 2)
0444886893 (obra completa)