000 00580pam a2200181a 44500
008 160408bc1993 xxu||||| |||| 00| 0 eng d
020 _a0262231697
082 _a005.131
_bW732F
100 _aWinskel,Glynn
245 1 _aTHE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES
_cAN INTRODUCTION
260 _a
_bMit Press, Cambridge
_cc1993
300 _axviii,361
440 _aFoundations Of Computing
_v
500 _aIncludes Bibliographical References And Index.
650 _aProgramming Languages (Electronic Computers) -- Semantics
964 _gCIRC
997 _aA118638 C
999 _c321954
_d321954