Mostrando
1 - 3
Resultados de
3
Para Buscar '
Schubert, E. Thomas, 1959-
'
Saltar al contenido
Login
Menu
0
elementos
(Completo)
Servicios para Alumnos
Servicios para Académicos
Recupera tu NIP
Mis Préstamos y Multas
Idioma
Inglés
Español
Francés
Galego
Términos de búsqueda
Todos los Campos
Título
Autor
Tema
Clasificación
ISBN/ISSN
Etiqueta
Buscar
Búsqueda Avanzada
Autor
Schubert, E. Thomas, 1959-
Skip recommendations
Mostrando
1 - 3
Resultados de
3
Para Buscar '
Schubert, E. Thomas, 1959-
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
Herramientas de búsqueda:
Suscríbete a esta búsqueda
1
Cargando…
Formal verification : an essential toolkit for modern VLSI design /
por
Seligman, Erik
,
Schubert, E. Thomas, 1959
-
,
Kumar, M. V. Achutha Kiran
Publicado 2023
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto completo (Requiere registro previo con correo institucional)
Electrónico
eBook
Código QR
2
Cargando…
Formal verification : an essential toolkit for modern VLSI design /
por
Seligman, Erik
,
Schubert, E. Thomas, 1959
-
,
Kumar, M. V. Achutha Kiran
Publicado 2015
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto completo (Requiere registro previo con correo institucional)
Electrónico
eBook
Código QR
3
Cargando…
Formal verification : an essential toolkit for modern VLSI design /
por
Seligman, Erik
,
Schubert, E. Thomas, 1959
-
,
Kumar, M. V. Achutha Kiran
Publicado 2023
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto completo
Electrónico
eBook
Código QR
Temas relacionados
Design and construction
Electronic circuits
Integrated circuits
Testing
Verilog (Computer hardware description language)
Very large scale integration
Verilog (Langage de description de matériel informatique)
Verilog (Langage de description de mat�eriel informatique)
