Ayuda
Nueva búsqueda
Catálogo Roble
Universidad>
Biblioteca>
Catálogo
This page contains enriched content visible when JavaScript is enabled.
Inicio
Eliminar los guardados
Visualización MARC
Volver al listado
Ver guardados
Elminar marcados
Exportar a Refworks
SearchType
AUTOR
TÍTULO
MATERIA ESPAÑOL
DESCRIPTOR
ISBN/ISSN
COLECCIÓN
PALABRA CLAVE
TÍTULO REVISTA
CLASIFICACIÓN
TITULO DEL RECURSO
Search
Search Scope
Catálogo Completo
Biblioteca Universitaria
Fondo Antiguo
Grabaciones musicales
Mapas
Películas
Revistas
Tesis
Bases de datos
Libros electrónicos
Recursos electrónicos
Producción Científica UZ
Proyectos fín de carrera UZ
Tesis de la UZ
C.D. Agua y Medio Ambiente
Limitar la búsqueda a ejemplares disponibles
Registro anterior
Registro siguiente
Guardar el registro como
Código QR
Autor
Milne, George
Título
Formal specification and verification of digital systems / George Milne
Publicación
London [etc.] : McGraw-Hill, cop. 1994
Ubicación
Signatura
Tipo de préstamo
Estado
Notas
B.Hypatia-Depósito(Col.Inform.Sistemas)
IS-SLAU 87
PRÉSTAMO LARGO
DISPONIBLE
Descripción física
xiv, 240 p. : il. ; 24 cm
Nota
Índice
Bibliografía
Bibliografía: p. 232-235
Materia
Electrónica digital
Mostrar referencias similares
Circuitos integrados -- Diseño y construcción
Mostrar referencias similares
Sistemas digitales
Mostrar referencias similares
ISBN
007707811X
Enlace permanente
© Biblioteca Universidad de Zaragoza. Edificio Paraninfo, 50005 ZARAGOZA-ESPAÑA| Tfno.: +34 976-761 854