| 000 | 00808nam a2200229 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20250311170404.0 | ||
| 008 | 230201s2012 ag rp 000 0 spa d | ||
| 024 | 8 |
_aDIF-M5937 _b6044 _zDIF005496 |
|
| 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 | _c2012 | ||
| 300 | _a1 archivo (56,55 KB) | ||
| 500 | _aCarrera: Licenciatura en Informática Planes 90, 003/07-2012 -- Año: 4° y 5° -- Duración: semestral. | ||
| 650 | 4 | _aVERIFICACIÓN DE PROGRAMAS | |
| 650 | 4 | _aCOMPLEJIDAD COMPUTACIONAL | |
| 650 | 4 | _aTEORÍA DE LA COMPUTACIÓN | |
| 650 | 4 | _aTEORÍA DE LA COMPUTABILIDAD | |
| 856 | 4 | 0 | _u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=298 |
| 942 | _cPG | ||
| 999 |
_c55284 _d55284 |
||