机读格式显示(MARC)

• 000 01135nam2 2200337 4500

• -01 __gzk0304317

• -09 __zyk0145116

• -98 __bm4

• -99 __tsg

• 001 0000145103

• 005 20061230110830.5

• 010 __ |a 7-81099-152-3 |d CNY28.00 |b

• 094 __ |a

• 100 __ |a 20050709d2005 km y0chiy0120 ea

• 101 __ |a chi

• 102 __ |a CN |b 430000

• 105 __ |a y m 000yy

• 106 __ |a r

• 200 1_ |a 传值CCS和∏-演算互模拟等价的验证理论和算法 |A chuan zhi CCS he∏-yan suan hu mo ni deng jia de yan zheng li lun he suan fa |f 李舟军著 |e |d

• 205 __ |a

• 210 __ |a 长沙 |c 国防科技大学出版社 |d 2005

• 215 __ |a 165页 |d 24cm

• 225 __ |a 国防科学技术大学全国优秀博士学位论文丛书 |A guo fang ke xue ji shu da xue quan guo you xiu bo shi xue wei lun wen cong shu

• 330 __ |a 本书包括:绪论、进程代数、基于符号迁移图的互模拟验证算法:强和弱等内容。

• 410 __ |1 2001 |a 国防科学技术大学全国优秀博士学位论文丛书

• 606 __ |a 电子计算机 |A dian zi ji suan ji |x 算法理论

• 690 __ |a TP301.6 |v 4

• 701 __ |a 李舟军 |A li zhou jun |4 著

• 801 __ |a CN |b ATSU |c 20061230

• 905 __ |a ASTU |d TP301.6/29

• 915 __ |d TP301.6 |b 474157-61 |e 29 |a