No hay imagen de cubierta disponible

Verificacion de programas y metodologia de la programacion

Por: Diaz de ILarraza Sanchez, A Tipo de material: Texto

TextoDetalles de publicación: España 1992Descripción: 199pISBN: 84-7585-266-1Tema(s): 1.ESPECIFICACION DE ABSTRACCIONES FUNCIONALES 2.SISTEMA FORMAL DE HOARE 3.DERIVACION FORMAL DE PROGRAMAS

Contenidos:

1.Concepto de sistema formal y de demostracion formal 2.Problema de la terminacion de programas 3.Intruccion goto

Resumen: Trata de 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.

Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.

Existencias
Tipo de ítem	Biblioteca actual	Signatura	Copia número	Estado	Fecha de vencimiento
Libros	Biblioteca URACCAN, Bilwi	1406 C1 (Navegar estantería (Abre debajo))	C1	Disponible

incluye índice

1.Concepto de sistema formal y de demostracion formal 2.Problema de la terminacion de programas 3.Intruccion goto

Trata de 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.

Col.Inform