Verificación de programas y metodología de la programación / Arantza Díaz de Ilarraza Sánchez, Francisca Luco Carrasco
Tipo de material:
TextoDetalles de publicación: Ecuador: Servicio editorial Universidada del Pais Vasco 1990Edición: 1Descripción: 199 hojasISBN: 84-7585-266-1Tema(s): 1. PROGRAMACIÓN 2. VERIFICACIÓN-METODOLOGÍA-PROGRAMACIÓN 3. PROGRAMACIÓN-COMPUTADORES ELECTRÓNICOS 4. INFORMÁTICA
Contenidos:
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.
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca URACCAN, Bluefields Staff Office | Informática Administrativa | 6230 C1 (Navegar estantería (Abre debajo)) | C1 | Disponible | 9 788475 852669 | |
|
Libros
|
Biblioteca URACCAN, Bluefields Staff Office | Informática Administrativa | 6231 C2 (Navegar estantería (Abre debajo)) | C2 | Disponible | 9 788475 852670 |
Navegando Biblioteca URACCAN, Bluefields Estantes, Ubicación: Staff Office, Código de colección: Informática Administrativa Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
índice, grafico, bibliografía
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.
Col. Inform
No hay comentarios en este titulo.