|
|
|
|
LEADER |
01679nam a2200253i 44500 |
003 |
OSt |
005 |
20220613220404.0 |
008 |
220613b |||||||| |||| 00| 0 spa d |
020 |
|
|
|a 84-7585-266-1
|
040 |
|
|
|a Sistema de Bibliotecas de la Universidad de las Regiones Autónomas de la Costa Caribe Nicaragüense
|
080 |
|
|
|a 005.1 D4501
|
100 |
|
|
|a Diaz de Ilarraza Sánchez, A. [et.al]
|9 13570
|
245 |
1 |
0 |
|a Verificación de programas y metodología de la programación / Arantza Díaz de Ilarraza Sánchez, Francisca Luco Carrasco
|
250 |
|
|
|a 1
|
260 |
|
|
|a Ecuador: Servicio editorial Universidada del Pais Vasco
|c 1990
|
300 |
|
|
|a 199 hojas
|
504 |
|
|
|a índice, grafico, bibliografía
|
505 |
|
|
|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.
|
590 |
|
|
|a Col. Inform
|
650 |
|
|
|a 1. PROGRAMACIÓN 2. VERIFICACIÓN-METODOLOGÍA-PROGRAMACIÓN 3. PROGRAMACIÓN-COMPUTADORES ELECTRÓNICOS 4. INFORMÁTICA
|9 1248
|
942 |
|
|
|c BK
|2 ddc
|
999 |
|
|
|c 37799
|d 37799
|
952 |
|
|
|0 2
|1 0
|2 ddc
|4 0
|6 6230_000000000000000_C1
|7 0
|8 IA
|9 10880
|a BUBLUF
|b BUBLUF
|c STAFF
|d 2022-06-13
|i 6230
|l 0
|o 6230 C1
|p 9 788475 852669
|r 2022-06-13
|t C1
|w 2022-06-13
|y BK
|
952 |
|
|
|0 2
|1 0
|2 ddc
|4 0
|6 6231_000000000000000_C2
|7 0
|8 IA
|9 10881
|a BUBLUF
|b BUBLUF
|c STAFF
|d 2022-06-13
|i 6231
|o 6231 C2
|p 9 788475 852670
|r 2022-06-13
|t C2
|w 2022-06-13
|y BK
|