Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2024-12-30T13:22:23Z
dc.date.available 2024-12-30T13:22:23Z
dc.date.issued 2024
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/175620
dc.identifier.uri https://doi.org/10.35537/10915/175620
dc.description.abstract 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. es
dc.language es es
dc.publisher Editorial de la Universidad Nacional de La Plata (EDULP) es
dc.relation.ispartof Libros de Cátedra es
dc.subject Programas es
dc.subject Programación informática es
dc.subject Verificación es
dc.title Verificación de programas es
dc.type Libro es
sedici.identifier.isbn 978-950-34-2450-6 es
sedici.title.subtitle Programas secuenciales y concurrentes es
sedici.creator.person Rosenfeld, Ricardo es
sedici.subject.materias Informática es
sedici.description.fulltext true es
mods.originInfo.place Facultad de Informática es
sedici.subtype Libro es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/4.0/


Descargar archivos

Icon
Documento completo
Descargar archivo (3.140Mb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)