| 000 | 00571nam a2200193 4500 | ||
|---|---|---|---|
| 001 | itec_58418 | ||
| 003 | DLC | ||
| 008 | ///////////////cc //////////////////itec// | ||
| 020 | _a0262162288 | ||
| 035 | 0 | 0 | _a58418 |
| 050 | _aQA76 P54a | ||
| 100 | 0 | _aPierce, Benjamin C. | |
| 245 | 1 | 0 | _aADVANCE TOPICS IN TYPES AND PROGRAMMING LANGUAGES |
| 260 |
_aEstados Unidos de América _b The MIT Press |
||
| 300 | _a574 pg | ||
| 505 | _a1.- Precise type analyses2.- Types for Low-Level Languages3.- Types and reasoning about programs | ||
| 546 | _aInglesÌ | ||
| 942 |
_2lcc _cBK |
||
| 999 |
_c49050 _d49050 |
||