机读格式显示(MARC)

• 000 01368nam2 2200385 4500

• 000 0000114458

• 001 0000073200

• 005 20050909092743.0

• 009 CRLN2004006003

• 010 __ |a 7-111-13153-3 |d CNY32.00

• 035 __ |a (044005)012003074660

• 100 __ |a 20050908d em y0chiy0110 ea

• 101 1_ |a chi |c eng

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 程序设计语言的形式语义 |d The Formal Semantics of Programming Languages:An Introduction |f Glynn Klynn |g 宋国新...[等]译 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |c 中信出版社 |d 2004

• 215 __ |a 12,283页 |d 26cm.

• 225 2_ |a 计算机科学丛书

• 300 __ |a 并列题名：The Formal Semantics of Programming Languages:An Introduction。

• 330 __ |a 包括：集合论基础、指称语义、操作语义、公理语义、归纳原理、归纳定义、完备性、信息系统、不确定性和并行性等内容。

• 461 _0 |1 2001 |a 计算机科学丛书

• 510 1_ |a The Formal Semantics of Programming Languages:An Introduction |z eng

• 606 0_ |a 程序语言 |x 形式语义 |x 高等教育 |j 教材

• 690 __ |a TP301.2 |v 4

• 701 _1 |a |b Glynn |c Winskel |4 著

• 702 _0 |a 潘俊 |4 译

• 702 _0 |a 孙霖 |4 译

• 702 _0 |a 宋国新 |4 译 |3 A9655970

• 702 _0 |a 邵志清 |4 译

• 801 _0 |a CN |b |c 20050909

• 905 __ |a DQNU |d TP301.2/W65

• 991 __

• 995 __ |a ST |f TP301.2/W65 |s 3

• 999 __ |t C |A qiandl |a 20050908 14:16:01 |M qiandl |m 20050909 09:27:43 |G qiandl |g 20050909 09:27:4