机读格式显示(MARC)

• 000 01151nam0 2200265 450

• 001 0000125696

• 005 20111124100200.0

• 010 __ |a 978-7-121-13130-1 |d CNY39.90

• 100 __ |a 20110503d2011 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 网络协议工程 |A wang luo xie yi gong cheng |d = Network protocol engineering |f 吴礼发编著 |z eng

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

• 215 __ |a x, 246页 |c 图 |d 26cm

• 320 __ |a 有书目

• 330 __ |a 本书以协议工程活动所涉及的各种技术为主线，以介绍基本原理、技术与方法为原则，主要内容包括：协议工程概论、协议设计技术、协议形式化描述技术、协议形式描述语言、协议验证技术、协议验证工具、协议一致性测试技术等。各章均附有讨论题、思考题及参考文献。

• 333 __ |a 可作为高等学校网络工程、计算机、通信工程等专业与网络协议工程、协议设计与分析、通信软件开发有关课程的高年级本科生和研究生教材，也可作为网络研究和开发人员的自学教材和参考书。

• 510 1_ |a Network protocol engineering |z eng

• 606 0_ |a 通信协议 |A tong xin xie yi

• 690 __ |a TN915 |v 4

• 701 _0 |a 吴礼发 |A wu li fa |4 编著

• 801 _0 |a CN |b WXCSXY |c 20111124

• 905 __ |a WXCSXY |d TN915/24