机读格式显示(MARC)
- 010 __ |a 7-111-13153-3 |d CNY32.00
- 099 __ |a CAL 012004009827
- 100 __ |a 20040212d2004 em y0chiy0121 ea
- 200 1_ |a 程序设计语言的形式语义 |A cheng xu she ji yu yan de xing shi yu yi |d = The formal semantics of programming languages |e an introduction |f Glynn Winskel著 |g 宋国新 ... 等译 |z eng
- 210 __ |a 北京 |c 机械工业出版社 |d 2004
- 215 __ |a 283页 |c 图 |d 26cm
- 225 2_ |a 计算机科学丛书 |A ji suan ji ke xue cong shu
- 304 __ |a 本书其它译者:邵志清, 潘俊, 孙霖
- 305 __ |a 据Massachusetts Institute of Technology 1993年英文版译出
- 306 __ |a 由麻省理工学院出版社授权机械工业出版社和中信出版社共同出版
- 314 __ |a 责任者 (Winskel) 汉译姓取自在版编目: 温斯克尔
- 320 __ |a 有书目 (第273-275页) 和索引
- 410 _0 |1 2001 |a 计算机科学丛书
- 510 1_ |a Formal semantics of programming languages |e an introduction |z eng
- 606 0_ |a 程序语言 |A cheng xu yu yan |x 形式语义
- 701 _1 |a 温斯克尔, |A wen si ke er |b G. |g (Winskel, Glynn) |4 著
- 702 _0 |a 宋国新, |A song guo xin |f 1945- |4 译
- 801 _0 |a CN |b BUPT |c 20040212
- 801 _2 |a CN |b JHUL |c 20041105
- 905 __ |a JHUL |d TP301.2/1