| 000 | 00751nam a2200217 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20250311170406.0 | ||
| 008 | 230201s2010 ag rp 000 0 spa d | ||
| 024 | 8 |
_aDIF-M6008 _b6119 _zDIF005558 |
|
| 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 | _c2010 | ||
| 300 | _a1 archivo (56,8 KB) | ||
| 500 | _aCarrera: Licenciatura en Informática Plan 2003-07 -- Duración: semestral -- Carácter: optativa | ||
| 650 | 4 | _aVERIFICACIÓN DE PROGRAMAS | |
| 650 | 4 | _aCORRECCIÓN DE PROGRAMAS | |
| 650 | 4 | _aFIABILIDAD DEL SOFTWARE | |
| 856 | 4 | 0 | _u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=353 |
| 942 | _cPG | ||
| 999 |
_c55346 _d55346 |
||