| 000 | 01263nam a2200229i 44500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20220613220404.0 | ||
| 008 | 220613b |||||||| |||| 00| 0 spa d | ||
| 020 | _a84-7585-266-1 | ||
| 040 | _cBiblioteca Nora Rigby | ||
| 080 | _a005.1 D4501 | ||
| 100 |
_aDiaz de Ilarraza Sánchez, A. [et.al] _913570 |
||
| 245 | 1 | 0 | _aVerificación de programas y metodología de la programación / Arantza Díaz de Ilarraza Sánchez, Francisca Luco Carrasco |
| 250 | _a1 | ||
| 260 |
_aEcuador: Servicio editorial Universidada del Pais Vasco _c1990 |
||
| 300 | _a199 hojas | ||
| 504 | _aíndice, grafico, bibliografía | ||
| 505 | _aEspecificació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. | ||
| 590 | _aCol. Inform | ||
| 650 |
_a1. PROGRAMACIÓN 2. VERIFICACIÓN-METODOLOGÍA-PROGRAMACIÓN 3. PROGRAMACIÓN-COMPUTADORES ELECTRÓNICOS 4. INFORMÁTICA _91248 |
||
| 942 |
_cBK _2ddc |
||
| 999 |
_c37799 _d37799 |
||