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/