| 000 | 00580nam a22001817a 4500 | ||
|---|---|---|---|
| 005 | 20260224105616.0 | ||
| 008 | 260224b |||||||| |||| 00| 0 eng d | ||
| 020 | _a978-0-2622-3169-5 | ||
| 050 | _aQA 76.9 .W56 1993 | ||
| 100 | _aWINSKEL,GLYNN | ||
| 245 | _aTHE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES: AN INTRODUCTION | ||
| 250 | _a2ND EDITION | ||
| 260 |
_aCAMBRIDGE _bTHE MIT PRESS _c1993 |
||
| 300 | _aXVIII,361P. | ||
| 500 | _aINCLUDES BIBLIOGRAPHICAL REFERENCES AND INDEXES | ||
| 650 | _aPROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)- SEMANTICS | ||
| 942 |
_2lcc _cBK |
||
| 999 |
_c216601 _d216601 |
||