Computabilidad, complejidad computacional y verificación de programas
- Autores
- Rosenfeld, Ricardo; Irazábal, Jerónimo
- Año de publicación
- 2013
- Idioma
- español castellano
- Tipo de recurso
- libro
- Estado
- versión publicada
- Descripción
- Computabilidad, Complejidad Computacional y Verificación de Programas contiene lasquince clases que conforman la asignatura Teoría de la Computación y Verificación deProgramas, una introducción a la teoría de la computabilidad y complejidadcomputacional de problemas y la teoría de correctitud de programa. El libro es una suerte de segunda edición reducida deTeoría de la Computación y Verificación de Programas, de los mismos autores, editadoen 2010 por la EDULP conjuntamente con McGraw-Hill, el cual incluye además de lasclases de la asignatura básica, las de Teoría de la Computación y Verificación deProgramas Avanzada.El nuevo trabajo excluye principalmente la complejidad espacial, la verificaciónde los programas no determinísticos y concurrentes, el empleo de la lógica temporalpara verificar los programas reactivos, y la semántica denotacional de los lenguajes deprogramación, tópicos tratados en la obra anterior. De todos modos, en la presentepublicación hay secciones, breves, dedicadas a la jerarquía espacial, la terminación conhipótesis de fairnes de los programas no determinísticos, y la verificación de losprogramas concurrentes con memoria compartida, desarrolladas de la manera en quedichos temas son referenciados en la asignatura básica.
Fil: Rosenfeld, Ricardo. Universidad Nacional de La Plata. Facultad de Informática; Argentina
Fil: Irazábal, Jerónimo. Universidad Nacional de La Plata. Facultad de Informática. Laboratorio de Investigación y Formación en Informática Avanzada; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata; Argentina - Materia
-
Teoria de la computaion
Verificacion de programas - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/131665
Ver los metadatos del registro completo
id |
CONICETDig_53873afeb987010928170180e6baa747 |
---|---|
oai_identifier_str |
oai:ri.conicet.gov.ar:11336/131665 |
network_acronym_str |
CONICETDig |
repository_id_str |
3498 |
network_name_str |
CONICET Digital (CONICET) |
spelling |
Computabilidad, complejidad computacional y verificación de programasRosenfeld, RicardoIrazábal, JerónimoTeoria de la computaionVerificacion de programashttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Computabilidad, Complejidad Computacional y Verificación de Programas contiene lasquince clases que conforman la asignatura Teoría de la Computación y Verificación deProgramas, una introducción a la teoría de la computabilidad y complejidadcomputacional de problemas y la teoría de correctitud de programa. El libro es una suerte de segunda edición reducida deTeoría de la Computación y Verificación de Programas, de los mismos autores, editadoen 2010 por la EDULP conjuntamente con McGraw-Hill, el cual incluye además de lasclases de la asignatura básica, las de Teoría de la Computación y Verificación deProgramas Avanzada.El nuevo trabajo excluye principalmente la complejidad espacial, la verificaciónde los programas no determinísticos y concurrentes, el empleo de la lógica temporalpara verificar los programas reactivos, y la semántica denotacional de los lenguajes deprogramación, tópicos tratados en la obra anterior. De todos modos, en la presentepublicación hay secciones, breves, dedicadas a la jerarquía espacial, la terminación conhipótesis de fairnes de los programas no determinísticos, y la verificación de losprogramas concurrentes con memoria compartida, desarrolladas de la manera en quedichos temas son referenciados en la asignatura básica.Fil: Rosenfeld, Ricardo. Universidad Nacional de La Plata. Facultad de Informática; ArgentinaFil: Irazábal, Jerónimo. Universidad Nacional de La Plata. Facultad de Informática. Laboratorio de Investigación y Formación en Informática Avanzada; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata; ArgentinaUniversidad Nacional de La Plata. Facultad de Informática2013info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bookinfo:ar-repo/semantics/librohttp://purl.org/coar/resource_type/c_2f33application/pdfapplication/pdfhttp://hdl.handle.net/11336/131665Rosenfeld, Ricardo; Irazábal, Jerónimo; Computabilidad, complejidad computacional y verificación de programas; Universidad Nacional de La Plata. Facultad de Informática; 1; 2013; 313978-950-34-0970-1CONICET DigitalCONICETspainfo:eu-repo/semantics/altIdentifier/url/https://libros.unlp.edu.ar/index.php/unlp/catalog/book/105info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T09:50:49Zoai:ri.conicet.gov.ar:11336/131665instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-03 09:50:49.477CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse |
dc.title.none.fl_str_mv |
Computabilidad, complejidad computacional y verificación de programas |
title |
Computabilidad, complejidad computacional y verificación de programas |
spellingShingle |
Computabilidad, complejidad computacional y verificación de programas Rosenfeld, Ricardo Teoria de la computaion Verificacion de programas |
title_short |
Computabilidad, complejidad computacional y verificación de programas |
title_full |
Computabilidad, complejidad computacional y verificación de programas |
title_fullStr |
Computabilidad, complejidad computacional y verificación de programas |
title_full_unstemmed |
Computabilidad, complejidad computacional y verificación de programas |
title_sort |
Computabilidad, complejidad computacional y verificación de programas |
dc.creator.none.fl_str_mv |
Rosenfeld, Ricardo Irazábal, Jerónimo |
author |
Rosenfeld, Ricardo |
author_facet |
Rosenfeld, Ricardo Irazábal, Jerónimo |
author_role |
author |
author2 |
Irazábal, Jerónimo |
author2_role |
author |
dc.subject.none.fl_str_mv |
Teoria de la computaion Verificacion de programas |
topic |
Teoria de la computaion Verificacion de programas |
purl_subject.fl_str_mv |
https://purl.org/becyt/ford/1.2 https://purl.org/becyt/ford/1 |
dc.description.none.fl_txt_mv |
Computabilidad, Complejidad Computacional y Verificación de Programas contiene lasquince clases que conforman la asignatura Teoría de la Computación y Verificación deProgramas, una introducción a la teoría de la computabilidad y complejidadcomputacional de problemas y la teoría de correctitud de programa. El libro es una suerte de segunda edición reducida deTeoría de la Computación y Verificación de Programas, de los mismos autores, editadoen 2010 por la EDULP conjuntamente con McGraw-Hill, el cual incluye además de lasclases de la asignatura básica, las de Teoría de la Computación y Verificación deProgramas Avanzada.El nuevo trabajo excluye principalmente la complejidad espacial, la verificaciónde los programas no determinísticos y concurrentes, el empleo de la lógica temporalpara verificar los programas reactivos, y la semántica denotacional de los lenguajes deprogramación, tópicos tratados en la obra anterior. De todos modos, en la presentepublicación hay secciones, breves, dedicadas a la jerarquía espacial, la terminación conhipótesis de fairnes de los programas no determinísticos, y la verificación de losprogramas concurrentes con memoria compartida, desarrolladas de la manera en quedichos temas son referenciados en la asignatura básica. Fil: Rosenfeld, Ricardo. Universidad Nacional de La Plata. Facultad de Informática; Argentina Fil: Irazábal, Jerónimo. Universidad Nacional de La Plata. Facultad de Informática. Laboratorio de Investigación y Formación en Informática Avanzada; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata; Argentina |
description |
Computabilidad, Complejidad Computacional y Verificación de Programas contiene lasquince clases que conforman la asignatura Teoría de la Computación y Verificación deProgramas, una introducción a la teoría de la computabilidad y complejidadcomputacional de problemas y la teoría de correctitud de programa. El libro es una suerte de segunda edición reducida deTeoría de la Computación y Verificación de Programas, de los mismos autores, editadoen 2010 por la EDULP conjuntamente con McGraw-Hill, el cual incluye además de lasclases de la asignatura básica, las de Teoría de la Computación y Verificación deProgramas Avanzada.El nuevo trabajo excluye principalmente la complejidad espacial, la verificaciónde los programas no determinísticos y concurrentes, el empleo de la lógica temporalpara verificar los programas reactivos, y la semántica denotacional de los lenguajes deprogramación, tópicos tratados en la obra anterior. De todos modos, en la presentepublicación hay secciones, breves, dedicadas a la jerarquía espacial, la terminación conhipótesis de fairnes de los programas no determinísticos, y la verificación de losprogramas concurrentes con memoria compartida, desarrolladas de la manera en quedichos temas son referenciados en la asignatura básica. |
publishDate |
2013 |
dc.date.none.fl_str_mv |
2013 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/book info:ar-repo/semantics/libro http://purl.org/coar/resource_type/c_2f33 |
status_str |
publishedVersion |
format |
book |
dc.identifier.none.fl_str_mv |
http://hdl.handle.net/11336/131665 Rosenfeld, Ricardo; Irazábal, Jerónimo; Computabilidad, complejidad computacional y verificación de programas; Universidad Nacional de La Plata. Facultad de Informática; 1; 2013; 313 978-950-34-0970-1 CONICET Digital CONICET |
url |
http://hdl.handle.net/11336/131665 |
identifier_str_mv |
Rosenfeld, Ricardo; Irazábal, Jerónimo; Computabilidad, complejidad computacional y verificación de programas; Universidad Nacional de La Plata. Facultad de Informática; 1; 2013; 313 978-950-34-0970-1 CONICET Digital CONICET |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/url/https://libros.unlp.edu.ar/index.php/unlp/catalog/book/105 |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ |
dc.format.none.fl_str_mv |
application/pdf application/pdf |
dc.publisher.none.fl_str_mv |
Universidad Nacional de La Plata. Facultad de Informática |
publisher.none.fl_str_mv |
Universidad Nacional de La Plata. Facultad de Informática |
dc.source.none.fl_str_mv |
reponame:CONICET Digital (CONICET) instname:Consejo Nacional de Investigaciones Científicas y Técnicas |
reponame_str |
CONICET Digital (CONICET) |
collection |
CONICET Digital (CONICET) |
instname_str |
Consejo Nacional de Investigaciones Científicas y Técnicas |
repository.name.fl_str_mv |
CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas |
repository.mail.fl_str_mv |
dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar |
_version_ |
1842269055350734848 |
score |
13.13397 |