| 000 | 00997nam a2200253 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20250311170458.0 | ||
| 008 | 230201s2019 ag rp 000 0 spa d | ||
| 024 | 8 |
_aDIF-M7983 _b8199 _zDIF007285 |
|
| 040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
| 100 | 1 | _aRosenfeld, Ricardo Fabián | |
| 245 | 1 | 0 | _aTeoría de la Computación y Verificación de Programas |
| 260 | _c2019 | ||
| 300 | _a1 archivo (163,2 KB) | ||
| 500 | _aCarrera: Lic. en Informática Plan 2003-07, 2012, 2015; Licenciatura en Sistemas Planes 2015, 2012, 2003-07 -- Año: 4° -- Duración: semestral -- Materia optativa para la Lic. en Sistemas. | ||
| 650 | 4 | _aTEORÍA DE LA COMPUTACIÓN | |
| 650 | 4 | _aTEORÍA DE LA COMPUTABILIDAD | |
| 650 | 4 | _aCOMPLEJIDAD COMPUTACIONAL | |
| 650 | 4 | _aCORRECCIÓN DE PROGRAMAS | |
| 650 | 4 | _aSEMÁNTICA DE LOS LENGUAJES DE PROGRAMACIÓN | |
| 650 | 4 | _aVERIFICACIÓN DE PROGRAMAS | |
| 856 | 4 | 0 | _u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1980 |
| 942 | _cPG | ||
| 999 |
_c57060 _d57060 |
||