| 000 | 00534nam a2200205 4500 | ||
|---|---|---|---|
| 001 | itec_58412 | ||
| 003 | DLC | ||
| 008 | ///////////////cc //////////////////itec// | ||
| 020 | _a0262162091 | ||
| 035 | 0 | 0 | _a58412 |
| 050 | _aQA76 P54t | ||
| 100 | 0 | _aPierce, Benjamin C. | |
| 245 | 1 | 0 | _aTYPES PROGRAMMING LANGUAGES |
| 250 | _aPrimera Ed. | ||
| 260 |
_aMassachusetts _b The MIT Press |
||
| 300 | _a623 Pg. | ||
| 505 | _a1.- Introduction2.- Mathematical Preliminaries3.- Untyped Systems | ||
| 546 | _aInglesÌ | ||
| 942 |
_2lcc _cBK |
||
| 999 |
_c49044 _d49044 |
||