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 : , 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03470
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Consulta en Sala DIF-03490
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03491
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03492
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03493
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03494
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03495
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03496
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03489
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03487
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03488
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03500
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03501
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03502
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03503
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03504
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03505
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03506
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Available DIF-03507
Libros Libros Biblioteca Fac.Informática D.2.4 ROS (Browse shelf(Opens below)) Baja DIF-03508

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.

There are no comments on this title.

to post a comment.

Powered by Koha