Teoría de la computación y verificación de programas

By: Contributor(s): Material type: TextTextSeries: Facultad de Informática-U.N.L.PPublication details: La Plata : [S.n.], 2010Edition: 1a edDescription: 419 p. : il. ; 22 cmISBN:
  • 978950340633
Subject(s):
Contents:
I-Computabilidad y decidibilidad: Máquinas de Turing -- Lenguajes recursivos -- El problema de la detención -- Reducciones de problemas -- II-Complejidad computacional: Introducción a la complejidad temporal -- La clase NP -Introducción a la complejidad espacial -- Espacio logarítmico y polinomial -- III-Verificación de programas: Definiciones iniciales -- Verificaciones de programas secuenciales determinísticos -- Verificaciones de programas secuenciales no determinísticos -Verificación de programas concurrentes.
Summary: Contenido basado en las asignaturas Teoría de la Computación y Verificación de Programas, y Teoría de la Comutación y Verificación de Programas Avanzada, que los autores dictan a los alumnos de cuarto y quinto año dela Licenciatura en Informática.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Status Date due Barcode
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03470
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Consulta en Sala DIF-03490
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Checked out 03/01/2014 DIF-03491
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03492
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03493
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03494
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03495
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Checked out 25/03/2025 DIF-03496
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03489
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03487
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03488
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03500
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03501
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03502
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03503
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03504
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03505
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Checked out 20/07/2023 DIF-03506
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03507

I-Computabilidad y decidibilidad: Máquinas de Turing -- Lenguajes recursivos -- El problema de la detención -- Reducciones de problemas -- II-Complejidad computacional: Introducción a la complejidad temporal -- La clase NP -Introducción a la complejidad espacial -- Espacio logarítmico y polinomial -- III-Verificación de programas: Definiciones iniciales -- Verificaciones de programas secuenciales determinísticos -- Verificaciones de programas secuenciales no determinísticos -Verificación de programas concurrentes.

Contenido basado en las asignaturas Teoría de la Computación y Verificación de Programas, y Teoría de la Comutación y Verificación de Programas Avanzada, que los autores dictan a los alumnos de cuarto y quinto año dela Licenciatura en Informática.