000 00660nam0a22001930004500
001 115060
005 20200804122144.0
010 _a0-262-23169-7
_b(Encadernado)
090 _a115060
100 _a19961024e19941993k y0pory5003 ba
101 0 _aeng
102 _aUS
200 1 _aThe formal semantics of programming languages
_ean introduction
_fGlynn Winskel
210 _aCambridge, Mas.
_cThe MIT Press
_dimp. 1994
215 _aXVIII, 361 p.
_d24 cm
675 _a519.682
_vint
_zeng
700 1 _aWinskel,
_bGlynn
942 _cLIVRO
_n0