Computabilidad, complejidad computacional y verificación de programas

Mostrar todas las versiones(2)

<i>Computabilidad, Complejidad Computacional y Verificación de Programas</i> contiene las quince clases que conforman la asignatura Teoría de la Computación y Verificación de Programas, una introducción a la teoría de la computabilidad y complejidad computacional de problemas y la teoría...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Rosenfeld, Ricardo, Irazábal, Jerónimo
Formato: Libro
Lenguaje:Español
Publicado: Editorial de la Universidad Nacional de La Plata (EDULP) 2013
Materias:
Ciencias Informáticas
programación
PROGRAMMING TECHNIQUES
SOFTWARE ENGINEERING
programas informáticos
formación profesional
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/27887
https://doi.org/10.35537/10915/27887
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-27887
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
programación
PROGRAMMING TECHNIQUES
SOFTWARE ENGINEERING
programas informáticos
formación profesional
spellingShingle Ciencias Informáticas
programación
PROGRAMMING TECHNIQUES
SOFTWARE ENGINEERING
programas informáticos
formación profesional
Rosenfeld, Ricardo
Irazábal, Jerónimo
Computabilidad, complejidad computacional y verificación de programas
topic_facet Ciencias Informáticas
programación
PROGRAMMING TECHNIQUES
SOFTWARE ENGINEERING
programas informáticos
formación profesional
description <i>Computabilidad, Complejidad Computacional y Verificación de Programas</i> contiene las quince clases que conforman la asignatura Teoría de la Computación y Verificación de Programas, una introducción a la teoría de la computabilidad y complejidad computacional de problemas y la teoría de correctitud de programas, que dicto en la Licenciatura en Informática de la Facultad de Informática de la Universidad Nacional de La Plata desde hace varios años. El libro es una suerte de segunda edición reducida de <i>Teoría de la Computación y Verificación de Programas</i>, de los mismos autores, editado en 2010 por la EDULP conjuntamente con McGraw-Hill, el cual incluye además de las clases de la asignatura básica, las de Teoría de la Computación y Verificación de Programas Avanzada, asignatura que también dicto en la misma carrera desde hace tiempo. El nuevo trabajo excluye principalmente la complejidad espacial, la verificación de los programas no determinísticos y concurrentes, el empleo de la lógica temporal para verificar los programas reactivos, y la semántica denotacional de los lenguajes de programación, tópicos tratados en la obra anterior. De todos modos, en la presente publicación hay secciones, breves, dedicadas a la jerarquía espacial, la terminación con hipótesis de fairnes de los programas no determinísticos, y la verificación de los programas concurrentes con memoria compartida, desarrolladas de la manera en que dichos temas son referenciados en la asignatura básica.
format Libro
Libro
author Rosenfeld, Ricardo
Irazábal, Jerónimo
author_facet Rosenfeld, Ricardo
Irazábal, Jerónimo
author_sort Rosenfeld, Ricardo
title Computabilidad, complejidad computacional y verificación 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
publisher Editorial de la Universidad Nacional de La Plata (EDULP)
publishDate 2013
url http://sedici.unlp.edu.ar/handle/10915/27887
https://doi.org/10.35537/10915/27887
work_keys_str_mv AT rosenfeldricardo computabilidadcomplejidadcomputacionalyverificaciondeprogramas
AT irazabaljeronimo computabilidadcomplejidadcomputacionalyverificaciondeprogramas
bdutipo_str Repositorios
_version_ 1764820467342901250

Ejemplares similares