|
|
|
|
| LEADER |
01354nam a2200241i 44500 |
| 003 |
OSt |
| 005 |
20240320222619.0 |
| 008 |
240320b |||||||| |||| 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 D5431
|
| 100 |
|
|
|a Diaz de ILarraza Sanchez, A
|9 54682
|
| 245 |
1 |
0 |
|a Verificacion de programas y metodologia de la programacion
|
| 260 |
|
|
|a España
|c 1992
|
| 300 |
|
|
|a 199p
|
| 504 |
|
|
|a incluye índice
|
| 505 |
|
|
|a 1.Concepto de sistema formal y de demostracion formal 2.Problema de la terminacion de programas 3.Intruccion goto
|
| 520 |
|
|
|a 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.
|
| 590 |
|
|
|a Col.Inform
|
| 650 |
|
|
|a 1.ESPECIFICACION DE ABSTRACCIONES FUNCIONALES 2.SISTEMA FORMAL DE HOARE 3.DERIVACION FORMAL DE PROGRAMAS
|9 54683
|
| 942 |
|
|
|c BK
|2 ddc
|
| 999 |
|
|
|c 7879
|d 7879
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 1406_000000000000000_C1
|7 0
|9 44562
|a BUPC
|b BUPC
|d 2024-03-20
|i 1406
|l 0
|o 1406 C1
|r 2024-03-20
|t C1
|w 2024-03-20
|y BK
|