机读格式显示(MARC)

• 000 01115nam2 2200325 4500

• 000 0000189992

• 001 0000143953

• 005 20080410085530.0

• 009 CRLN2005071908

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

• 035 __ |a (033001)012004153097

• 100 __ |a 20080410d kemy0chiy0110 ea

• 101 0_ |a chi |d eng |e eng

• 102 __ |a CN |b 430000

• 105 __ |a y z 000yy

• 106 __ |a r

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

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

• 215 __ |a 165页 |d 24cm

• 225 2_ |a 全国优秀博士学位论文丛书

• 330 __ |a 本书共分八章，内容包括绪论；进程代数；基于符号迁移图的互模拟验证算法：强和弱；STGA的变种及其互模拟验证：强和弱等。

• 461 _0 |1 2001 |a 全国优秀博士学位论文丛书

• 606 0_ |a 电子计算机 |x 算法理论

• 690 __ |a TP301.6 |v 4

• 701 _0 |a 李舟军 |9 li zhou jun |4 著

• 801 _0 |a CN |b |c 20080410

• 905 __ |a DQNU |d TP301.6/L40

• 991 __

• 995 __ |a ST |f TP301.6/L40 |s 5

• 999 __ |t C |A yhf |a 20080410 08:55:04 |M yhf |m 20080410 08:55:30 |G yhf |g 20080410 08:56:3