Modelado y verificación de hardware usando tipos abstractos de datos

Ingeniero de Sistemas y Computación

Autores:
Contreras Franco, Juan Pablo
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2008
Institución:
Universidad de los Andes
Repositorio:
Séneca: repositorio Uniandes
Idioma:
spa
OAI Identifier:
oai:repositorio.uniandes.edu.co:1992/24170
Acceso en línea:
http://hdl.handle.net/1992/24170
Palabra clave:
Tipos de datos abstractos (Computadores)
Estructuras de datos (Computadores)
Procesamiento electrónico de datos
Ingeniería
Rights
openAccess
License
http://creativecommons.org/licenses/by-nc-nd/4.0/