Diaz de Ilarraza Sánchez, A. [et.al] <br/><br/>
Verificación de programas y metodología de la programación / Arantza Díaz de Ilarraza Sánchez, Francisca Luco Carrasco 

 - 1 
 - Ecuador: Servicio editorial Universidada del Pais Vasco  1990 
 - 199 hojas  
<br/><br/>índice, grafico, bibliografía 
<br/><br/>Especificación de abstracción funcionales, el sistema formal de hoare, concepto de sistema formal y de demostración formal, el axioma de asignación, las reglas de composición secuencial, las reglas de composición condicional, la iteración y el concepto de invariante, la asignación dela terminación de programas, la asignación a campos de registros y la sentencia with, a verificación de procedimientos sin parámetros. 
<br/><br/><label>ISBN: </label>84-7585-266-1 
<br/><br/><label>Subjects--Topical Terms: </label><br/>1. PROGRAMACIÓN 2. VERIFICACIÓN-METODOLOGÍA-PROGRAMACIÓN 3. PROGRAMACIÓN-COMPUTADORES ELECTRÓNICOS 4. INFORMÁTICA
<br/><br/><label>Universal Decimal Class. No.: </label>005.1 D4501