Verificación de programas : Programas secuenciales y concurrentes

Autores
Rosenfeld, Ricardo
Año de publicación
2024
Idioma
español castellano
Tipo de recurso
libro
Estado
versión publicada
Descripción
El libro Verificación de programas. Programas secuenciales y concurrentes presenta una introducción a la Verificación Axiomática de Programas, en su variante conocida como Lógica de Hoare. Se prioriza lo conceptual por sobre lo formal, y se desarrollan numerosos ejemplos y ejercicios. Se incluyen tanto los programas secuenciales -determinísticos y no determinísticos- como los programas concurrentes -paralelos y distribuidos-. También se tratan elementos de metateoría de la verificación de programas -composicionalidad, sensatez y completitud de los métodos de prueba- y de semántica formal de los lenguajes de especificación y programación empleados. En el libro se destaca el aporte de las axiomáticas estudiadas a la construcción sistemática de programas.
Facultad de Informática
Materia
Informática
Programas
Programación informática
Verificación
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/175620
Acceder
id SEDICI_edb1a8f7677beba25b96a20900e4f04f
oai_identifier_str oai:sedici.unlp.edu.ar:10915/175620
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Verificación de programas : Programas secuenciales y concurrentesRosenfeld, RicardoInformáticaProgramasProgramación informáticaVerificaciónEl libro <i>Verificación de programas. Programas secuenciales y concurrentes</i> presenta una introducción a la Verificación Axiomática de Programas, en su variante conocida como Lógica de Hoare. Se prioriza lo conceptual por sobre lo formal, y se desarrollan numerosos ejemplos y ejercicios. Se incluyen tanto los programas secuenciales -determinísticos y no determinísticos- como los programas concurrentes -paralelos y distribuidos-. También se tratan elementos de metateoría de la verificación de programas -composicionalidad, sensatez y completitud de los métodos de prueba- y de semántica formal de los lenguajes de especificación y programación empleados. En el libro se destaca el aporte de las axiomáticas estudiadas a la construcción sistemática de programas.Facultad de InformáticaEditorial de la Universidad Nacional de La Plata (EDULP)2024info:eu-repo/semantics/bookinfo:ar-repo/semantics/libroinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_2f33application/pdfhttp://sedici.unlp.edu.ar/handle/10915/175620https://doi.org/10.35537/10915/175620spainfo:eu-repo/semantics/altIdentifier/isbn/978-950-34-2450-6info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T11:19:10Zoai:sedici.unlp.edu.ar:10915/175620Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 11:19:10.285SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Verificación de programas : Programas secuenciales y concurrentes
title Verificación de programas : Programas secuenciales y concurrentes
spellingShingle Verificación de programas : Programas secuenciales y concurrentes
Rosenfeld, Ricardo
Informática
Programas
Programación informática
Verificación
title_short Verificación de programas : Programas secuenciales y concurrentes
title_full Verificación de programas : Programas secuenciales y concurrentes
title_fullStr Verificación de programas : Programas secuenciales y concurrentes
title_full_unstemmed Verificación de programas : Programas secuenciales y concurrentes
title_sort Verificación de programas : Programas secuenciales y concurrentes
dc.creator.none.fl_str_mv Rosenfeld, Ricardo
author Rosenfeld, Ricardo
author_facet Rosenfeld, Ricardo
author_role author
dc.subject.none.fl_str_mv Informática
Programas
Programación informática
Verificación
topic Informática
Programas
Programación informática
Verificación
dc.description.none.fl_txt_mv El libro <i>Verificación de programas. Programas secuenciales y concurrentes</i> presenta una introducción a la Verificación Axiomática de Programas, en su variante conocida como Lógica de Hoare. Se prioriza lo conceptual por sobre lo formal, y se desarrollan numerosos ejemplos y ejercicios. Se incluyen tanto los programas secuenciales -determinísticos y no determinísticos- como los programas concurrentes -paralelos y distribuidos-. También se tratan elementos de metateoría de la verificación de programas -composicionalidad, sensatez y completitud de los métodos de prueba- y de semántica formal de los lenguajes de especificación y programación empleados. En el libro se destaca el aporte de las axiomáticas estudiadas a la construcción sistemática de programas.
Facultad de Informática
description El libro <i>Verificación de programas. Programas secuenciales y concurrentes</i> presenta una introducción a la Verificación Axiomática de Programas, en su variante conocida como Lógica de Hoare. Se prioriza lo conceptual por sobre lo formal, y se desarrollan numerosos ejemplos y ejercicios. Se incluyen tanto los programas secuenciales -determinísticos y no determinísticos- como los programas concurrentes -paralelos y distribuidos-. También se tratan elementos de metateoría de la verificación de programas -composicionalidad, sensatez y completitud de los métodos de prueba- y de semántica formal de los lenguajes de especificación y programación empleados. En el libro se destaca el aporte de las axiomáticas estudiadas a la construcción sistemática de programas.
publishDate 2024
dc.date.none.fl_str_mv 2024
dc.type.none.fl_str_mv info:eu-repo/semantics/book
info:ar-repo/semantics/libro
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_2f33
format book
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/175620
https://doi.org/10.35537/10915/175620
url http://sedici.unlp.edu.ar/handle/10915/175620
https://doi.org/10.35537/10915/175620
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/isbn/978-950-34-2450-6
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Editorial de la Universidad Nacional de La Plata (EDULP)
publisher.none.fl_str_mv Editorial de la Universidad Nacional de La Plata (EDULP)
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260696891392000
score 13.13397

Publicaciones similares