机读格式显示(MARC)

• 000 00865nam 2200229 45

• 001 000000000000

• 010 __ |a 7-5053-8646-8 |b 压膜装 |d CNY25.00

• 092 __ |b 00026473033

• 100 __ |a 20030717d2003 em y0chiy0121 ea

• 101 0_ |a chi

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 网络协议的形式化分析与设计 |f 古天龙编

• 210 __ |a 北京 |c 电子工业出版社 |d 2003

• 215 __ |a 360页 |d 32开

• 330 __ |a 本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；网络协议的分析验证工具；电子商务协议的形式化分析等。

• 333 __ |a 适用人群:计算机,通信,自动化等专业高年级本科生或研究生,相关领域研究和工程技术人员

• 606 0_ |a

• 690 __ |a TN |v 4

• 701 _0 |a 古天龙编

• 801 __ |a CN |b CEPC |c 20030717

• 960 __ |a 00026473033