| 000 | 01151nam a2200229i 44500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20240320222619.0 | ||
| 008 | 240320b |||||||| |||| 00| 0 spa d | ||
| 020 | _a84-7585-266-1 | ||
| 040 |
_bEspañol _cBiblioteca URACCAN, Bilwi |
||
| 080 | _a005.1 D5431 | ||
| 100 |
_aDiaz de ILarraza Sanchez, A _954682 |
||
| 245 | 1 | 0 | _aVerificacion de programas y metodologia de la programacion |
| 260 |
_aEspaña _c1992 |
||
| 300 | _a199p | ||
| 504 | _aincluye índice | ||
| 505 | _a1.Concepto de sistema formal y de demostracion formal 2.Problema de la terminacion de programas 3.Intruccion goto | ||
| 520 | _aTrata 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 | _aCol.Inform | ||
| 650 |
_a1.ESPECIFICACION DE ABSTRACCIONES FUNCIONALES 2.SISTEMA FORMAL DE HOARE 3.DERIVACION FORMAL DE PROGRAMAS _954683 |
||
| 942 |
_cBK _2ddc |
||
| 999 |
_c7879 _d7879 |
||