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/
id UNIANDES2_f3f3d301f175cc4f1731287c2f381f44
oai_identifier_str oai:repositorio.uniandes.edu.co:1992/24170
network_acronym_str UNIANDES2
network_name_str Séneca: repositorio Uniandes
repository_id_str
spelling Al consultar y hacer uso de este recurso, está aceptando las condiciones de uso establecidas por los autores.http://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Vivas Prieto, Sonia Victoria603f888a-3c49-44e6-a97b-57a346be02a5500Contreras Franco, Juan Pabloc3d2a14e-f7bc-4344-b0ac-d61e29f6c88b5002018-10-03T09:29:22Z2018-10-03T09:29:22Z2008http://hdl.handle.net/1992/24170u346482.pdfinstname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/73 hojasapplication/pdfspaUniandesIngeniería de Sistemas y ComputaciónFacultad de IngenieríaDepartamento de Ingeniería de Sistemas y Computacióninstname:Universidad de los Andesreponame:Repositorio Institucional SénecaModelado y verificación de hardware usando tipos abstractos de datosTrabajo de grado - Pregradoinfo:eu-repo/semantics/bachelorThesishttp://purl.org/coar/resource_type/c_7a1fhttp://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/TPTipos de datos abstractos (Computadores)Estructuras de datos (Computadores)Procesamiento electrónico de datosIngenieríaIngeniero de Sistemas y ComputaciónPregradoPublicationORIGINALu346482.pdfapplication/pdf426807https://repositorio.uniandes.edu.co/bitstreams/4b8b0e08-a0b9-4647-841a-9f40a55c59e0/download351ee571367f3668326eff0c58e7f3ffMD51TEXTu346482.pdf.txtu346482.pdf.txtExtracted texttext/plain112950https://repositorio.uniandes.edu.co/bitstreams/85a2b12c-52d1-4967-bed4-4bf18d398249/downloadd0483cd76e64c7f4b3cc69244f4a7787MD54THUMBNAILu346482.pdf.jpgu346482.pdf.jpgIM Thumbnailimage/jpeg4786https://repositorio.uniandes.edu.co/bitstreams/4f1f968e-a77d-420a-8369-9abfe87ee691/download361037f3bbb916f153e202fd59dd4e49MD551992/24170oai:repositorio.uniandes.edu.co:1992/241702023-10-10 18:53:55.092http://creativecommons.org/licenses/by-nc-nd/4.0/open.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.co
dc.title.es_CO.fl_str_mv Modelado y verificación de hardware usando tipos abstractos de datos
title Modelado y verificación de hardware usando tipos abstractos de datos
spellingShingle Modelado y verificación de hardware usando tipos abstractos de datos
Tipos de datos abstractos (Computadores)
Estructuras de datos (Computadores)
Procesamiento electrónico de datos
Ingeniería
title_short Modelado y verificación de hardware usando tipos abstractos de datos
title_full Modelado y verificación de hardware usando tipos abstractos de datos
title_fullStr Modelado y verificación de hardware usando tipos abstractos de datos
title_full_unstemmed Modelado y verificación de hardware usando tipos abstractos de datos
title_sort Modelado y verificación de hardware usando tipos abstractos de datos
dc.creator.fl_str_mv Contreras Franco, Juan Pablo
dc.contributor.advisor.none.fl_str_mv Vivas Prieto, Sonia Victoria
dc.contributor.author.none.fl_str_mv Contreras Franco, Juan Pablo
dc.subject.keyword.es_CO.fl_str_mv Tipos de datos abstractos (Computadores)
Estructuras de datos (Computadores)
Procesamiento electrónico de datos
topic Tipos de datos abstractos (Computadores)
Estructuras de datos (Computadores)
Procesamiento electrónico de datos
Ingeniería
dc.subject.themes.none.fl_str_mv Ingeniería
description Ingeniero de Sistemas y Computación
publishDate 2008
dc.date.issued.none.fl_str_mv 2008
dc.date.accessioned.none.fl_str_mv 2018-10-03T09:29:22Z
dc.date.available.none.fl_str_mv 2018-10-03T09:29:22Z
dc.type.spa.fl_str_mv Trabajo de grado - Pregrado
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/bachelorThesis
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_7a1f
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/TP
format http://purl.org/coar/resource_type/c_7a1f
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/1992/24170
dc.identifier.pdf.none.fl_str_mv u346482.pdf
dc.identifier.instname.spa.fl_str_mv instname:Universidad de los Andes
dc.identifier.reponame.spa.fl_str_mv reponame:Repositorio Institucional Séneca
dc.identifier.repourl.spa.fl_str_mv repourl:https://repositorio.uniandes.edu.co/
url http://hdl.handle.net/1992/24170
identifier_str_mv u346482.pdf
instname:Universidad de los Andes
reponame:Repositorio Institucional Séneca
repourl:https://repositorio.uniandes.edu.co/
dc.language.iso.es_CO.fl_str_mv spa
language spa
dc.rights.uri.*.fl_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
dc.rights.coar.spa.fl_str_mv http://purl.org/coar/access_right/c_abf2
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.extent.es_CO.fl_str_mv 73 hojas
dc.format.mimetype.es_CO.fl_str_mv application/pdf
dc.publisher.es_CO.fl_str_mv Uniandes
dc.publisher.program.es_CO.fl_str_mv Ingeniería de Sistemas y Computación
dc.publisher.faculty.es_CO.fl_str_mv Facultad de Ingeniería
dc.publisher.department.es_CO.fl_str_mv Departamento de Ingeniería de Sistemas y Computación
dc.source.es_CO.fl_str_mv instname:Universidad de los Andes
reponame:Repositorio Institucional Séneca
instname_str Universidad de los Andes
institution Universidad de los Andes
reponame_str Repositorio Institucional Séneca
collection Repositorio Institucional Séneca
bitstream.url.fl_str_mv https://repositorio.uniandes.edu.co/bitstreams/4b8b0e08-a0b9-4647-841a-9f40a55c59e0/download
https://repositorio.uniandes.edu.co/bitstreams/85a2b12c-52d1-4967-bed4-4bf18d398249/download
https://repositorio.uniandes.edu.co/bitstreams/4f1f968e-a77d-420a-8369-9abfe87ee691/download
bitstream.checksum.fl_str_mv 351ee571367f3668326eff0c58e7f3ff
d0483cd76e64c7f4b3cc69244f4a7787
361037f3bbb916f153e202fd59dd4e49
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio institucional Séneca
repository.mail.fl_str_mv adminrepositorio@uniandes.edu.co
_version_ 1837005372809805824

Publicaciones similares