机读格式显示(MARC)

• 000 01411nam2 2200361 4500

• 000 0000219497

• 001 0000147933

• 005 20100621104126.0

• 009 012004443745

• 010 __ |a 978-7-03-026238-7 |d CNY59.00 |z 7-03-026238-7

• 035 __ |a (110020)012010016513

• 100 __ |a 20100621d2010 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 形式语义学基础与形式说明 |9 xing shi yu yi xue ji chu yu xing shi shuo ming |f 屈延文编著

• 205 __ |a 2版

• 210 __ |a 北京 |c 科学出版社 |d 2010

• 215 __ |a 11,496页 |d 24cm

• 225 2_ |a 中国信息安全测评中心系列丛书 |9 zhongguoxinxianquancepingzhongxinxiliecongshu

• 314 __ |a 屈延文，现任信息产业部太极联合实验室主任，国家金卡工程办公室安全组组长。长期从事计算机科学、操作系统、软件工程、系统工程、系统安全和信息化总体技术的研究工作。

• 330 __ |a 本书介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。

• 461 _0 |1 2001 |a 中国信息安全测评中心系列丛书

• 606 0_ |a 形式语义学 |A xingshiyuyixue

• 690 __ |a TP301.2 |v 4

• 701 _0 |a 屈延文 |9 qu yan wen |4 编著

• 801 _0 |a CN |b 110020 |c 20100412

• 801 _2 |a CN |b 261060 |c 20100621

• 905 __ |a XATU |d TP301.2/6=2

• 991 __012010001806

• 995 __ |a 261060 |f TP301.2/6=2

• 999 __ |t C |A cuixiaojing |a 20100621 10:13:42 |M cuixiaojing |m 20100621 10:41:2