000 00598nam a2200205 a 4500
001 27188
003 BD-DhUET
008 920917s1993 maua b 001 0 eng
020 _a0262231697
040 _aDLC
_cDLC
_dBD-DhUET
050 0 0 _aQA76.7
_b.W555 1993
082 0 0 _a005.13
_bWIN/1993
100 _aWinskel, Glynn
245 1 4 _aFormal semantics of programming languages :
_ban introduction
260 _aCambridge
_bMIT Press
_c1993
300 _axviii, 361p.
_bill.
504 _aIncludes bibliographies
650 0 _aProgramming language ( Electronics computers) semantics
942 _cGB
999 _c27188
_d27188