| 000 | 00990nam a2200301 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20250311170140.0 | ||
| 008 | 230201s1988 xxu r 000 0 eng d | ||
| 020 | _a0137304099 | ||
| 024 | 8 |
_aDIF-M409 _b412 _zDIF000413 |
|
| 040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
| 100 | 1 | _aGordon, Michael J.C. | |
| 245 | 1 | 0 |
_aProgramming languages theory and its implementation : _bapplicative and imperative paradigms |
| 250 | _a1st ed. | ||
| 260 |
_aNueva York : _b[S.n.], _c1988 |
||
| 300 |
_axiv, 255 p. ; _c25 cm. |
||
| 490 | 0 | _aPrentice Hall International series in computer science | |
| 500 | _aIncluye bibliografía. | ||
| 650 | 4 | _aLENGUAJES DE PROGRAMACIÓN | |
| 650 | 4 | _aDEFINICIONES FORMALES Y TEORÍA | |
| 650 | 4 | _aLENGUAJES FORMALES | |
| 650 | 4 | _aLÓGICA MATEMÁTICA | |
| 650 | 4 | _aLÓGICA Y SIGNIFICADO DE LOS PROGRAMAS | |
| 650 | 4 | _aPROGRAMACIÓN FUNCIONAL | |
| 650 | 4 | _aCORRECCIÓN DE PROGRAMAS | |
| 650 | 4 | _aVERIFICACIÓN DE PROGRAMAS | |
| 942 | _cBK | ||
| 999 |
_c50403 _d50403 |
||