Verificación de programas : Programas secuenciales y concurrentes

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 ejercic...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Rosenfeld, Ricardo
Formato: Libro
Lenguaje:Español
Publicado: Editorial de la Universidad Nacional de La Plata (EDULP) 2024
Materias:
Informática
Programas
Programación informática
Verificación
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/175620
https://doi.org/10.35537/10915/175620
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-175620
record_format dspace
spelling I19-R120-10915-1756202024-12-31T04:17:36Z http://sedici.unlp.edu.ar/handle/10915/175620 https://doi.org/10.35537/10915/175620 Verificación de programas : Programas secuenciales y concurrentes Rosenfeld, Ricardo 2024 2024-12-30T13:22:23Z Editorial de la Universidad Nacional de La Plata (EDULP) es Informática Programas Programación informática Verificación 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 Libro Libro http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) application/pdf
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Informática
Programas
Programación informática
Verificación
spellingShingle Informática
Programas
Programación informática
Verificación
Rosenfeld, Ricardo
Verificación de programas : Programas secuenciales y concurrentes
topic_facet Informática
Programas
Programación informática
Verificación
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.
format Libro
Libro
author Rosenfeld, Ricardo
author_facet Rosenfeld, Ricardo
author_sort Rosenfeld, Ricardo
title Verificación de programas : Programas secuenciales y concurrentes
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
publisher Editorial de la Universidad Nacional de La Plata (EDULP)
publishDate 2024
url http://sedici.unlp.edu.ar/handle/10915/175620
https://doi.org/10.35537/10915/175620
work_keys_str_mv AT rosenfeldricardo verificaciondeprogramasprogramassecuencialesyconcurrentes
_version_ 1844301404970156032

Ejemplares similares