Jprove : una plataforma de verificación para Java
Magíster en Ingeniería de Sistemas y Computación
- Autores:
-
Quiroga Cubides, Alvaro Francisco
- Tipo de recurso:
- Fecha de publicación:
- 2006
- Institución:
- Universidad de los Andes
- Repositorio:
- Séneca: repositorio Uniandes
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.uniandes.edu.co:1992/9197
- Acceso en línea:
- http://hdl.handle.net/1992/9197
- Palabra clave:
- Java (Lenguaje de programación de computadores)
Ingeniería de software
Verificación de programas para computador
Ingeniería
- Rights
- openAccess
- License
- http://creativecommons.org/licenses/by-nc-nd/4.0/
| id |
UNIANDES2_cba5ee5630683bf1fe4bc9c5938f360c |
|---|---|
| oai_identifier_str |
oai:repositorio.uniandes.edu.co:1992/9197 |
| 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_abf2Cardoso Rodríguez, Rodrigovirtual::13706-1Quiroga Cubides, Alvaro Franciscobbc18838-2635-4b27-bfbf-8956c6207f865002018-09-27T18:31:51Z2018-09-27T18:31:51Z2006http://hdl.handle.net/1992/9197u276481.pdfinstname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/74 hojasapplication/pdfspaUniversidad de los AndesMaestría en Ingeniería de Sistemas y ComputaciónFacultad de IngenieríaDepartamento de Ingeniería de Sistemas y Computacióninstname:Universidad de los Andesreponame:Repositorio Institucional SénecaJprove : una plataforma de verificación para JavaTrabajo de grado - Maestríainfo:eu-repo/semantics/masterThesishttp://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/TMJava (Lenguaje de programación de computadores)Ingeniería de softwareVerificación de programas para computadorIngenieríaMagíster en Ingeniería de Sistemas y ComputaciónMaestríaPublicatione926dabb-8857-48e9-88cc-d846807247c9virtual::13706-1e926dabb-8857-48e9-88cc-d846807247c9virtual::13706-1https://scienti.minciencias.gov.co/cvlac/visualizador/generarCurriculoCv.do?cod_rh=0000139688virtual::13706-1THUMBNAILu276481.pdf.jpgu276481.pdf.jpgIM Thumbnailimage/jpeg5943https://repositorio.uniandes.edu.co/bitstreams/a9bbca4d-9b5a-466d-9c7c-6e7ab4aed667/download69e1720d7e62400b9a7314995beeafe9MD55ORIGINALu276481.pdfapplication/pdf306625https://repositorio.uniandes.edu.co/bitstreams/54b7e1df-2131-46ea-a2c3-30cfc99b55c1/download85b6254c454d43c74898bbb732e1d01eMD51TEXTu276481.pdf.txtu276481.pdf.txtExtracted texttext/plain128209https://repositorio.uniandes.edu.co/bitstreams/b3abfcf2-0358-4b56-ae7a-87524a407e6a/downloada993b73af505122c579732bf8ac02f34MD541992/9197oai:repositorio.uniandes.edu.co:1992/91972024-03-13 15:00:21.754http://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 |
Jprove : una plataforma de verificación para Java |
| title |
Jprove : una plataforma de verificación para Java |
| spellingShingle |
Jprove : una plataforma de verificación para Java Java (Lenguaje de programación de computadores) Ingeniería de software Verificación de programas para computador Ingeniería |
| title_short |
Jprove : una plataforma de verificación para Java |
| title_full |
Jprove : una plataforma de verificación para Java |
| title_fullStr |
Jprove : una plataforma de verificación para Java |
| title_full_unstemmed |
Jprove : una plataforma de verificación para Java |
| title_sort |
Jprove : una plataforma de verificación para Java |
| dc.creator.fl_str_mv |
Quiroga Cubides, Alvaro Francisco |
| dc.contributor.advisor.none.fl_str_mv |
Cardoso Rodríguez, Rodrigo |
| dc.contributor.author.none.fl_str_mv |
Quiroga Cubides, Alvaro Francisco |
| dc.subject.keyword.es_CO.fl_str_mv |
Java (Lenguaje de programación de computadores) Ingeniería de software Verificación de programas para computador |
| topic |
Java (Lenguaje de programación de computadores) Ingeniería de software Verificación de programas para computador Ingeniería |
| dc.subject.themes.none.fl_str_mv |
Ingeniería |
| description |
Magíster en Ingeniería de Sistemas y Computación |
| publishDate |
2006 |
| dc.date.issued.none.fl_str_mv |
2006 |
| dc.date.accessioned.none.fl_str_mv |
2018-09-27T18:31:51Z |
| dc.date.available.none.fl_str_mv |
2018-09-27T18:31:51Z |
| dc.type.spa.fl_str_mv |
Trabajo de grado - Maestría |
| dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/masterThesis |
| dc.type.content.spa.fl_str_mv |
Text |
| dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/TM |
| dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/1992/9197 |
| dc.identifier.pdf.none.fl_str_mv |
u276481.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/9197 |
| identifier_str_mv |
u276481.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 |
74 hojas |
| dc.format.mimetype.es_CO.fl_str_mv |
application/pdf |
| dc.publisher.none.fl_str_mv |
Universidad de los Andes |
| dc.publisher.program.es_CO.fl_str_mv |
Maestría en 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 |
| publisher.none.fl_str_mv |
Universidad de los Andes |
| 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/a9bbca4d-9b5a-466d-9c7c-6e7ab4aed667/download https://repositorio.uniandes.edu.co/bitstreams/54b7e1df-2131-46ea-a2c3-30cfc99b55c1/download https://repositorio.uniandes.edu.co/bitstreams/b3abfcf2-0358-4b56-ae7a-87524a407e6a/download |
| bitstream.checksum.fl_str_mv |
69e1720d7e62400b9a7314995beeafe9 85b6254c454d43c74898bbb732e1d01e a993b73af505122c579732bf8ac02f34 |
| 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_ |
1812134017012596736 |