TY  - BOOK
AU  - Diaz de ILarraza Sanchez, A
TI  - Verificacion de programas y metodologia de la programacion
SN  - 84-7585-266-1
PY  - 1992///
CY  - España
KW  - 1.ESPECIFICACION DE ABSTRACCIONES FUNCIONALES 2.SISTEMA FORMAL DE HOARE 3.DERIVACION FORMAL DE PROGRAMAS
N1  - incluye índice; 1.Concepto de sistema formal y de demostracion formal 2.Problema de la terminacion de programas 3.Intruccion goto
N2  - 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
ER  -