Diaz de ILarraza Sanchez, A <br/><br/>
Verificacion de programas y metodologia de la programacion 

 - España  1992 
 - 199p 
<br/><br/>incluye índice  
<br/><br/>1.Concepto de sistema formal y de demostracion formal 2.Problema de la terminacion de programas 3.Intruccion goto 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>84-7585-266-1 
<br/><br/><label>Subjects--Topical Terms: </label><br/>1.ESPECIFICACION DE ABSTRACCIONES FUNCIONALES 2.SISTEMA FORMAL DE HOARE 3.DERIVACION FORMAL DE PROGRAMAS
<br/><br/><label>Universal Decimal Class. No.: </label>005.1 D5431