机读格式显示(MARC)
- 000 00928nam0 2200253 450
- 010 __ |a 978-7-121-13130-1 |d CNY39.90
- 100 __ |a 20110402d2011 em y0chiy0121 ea
- 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
- 330 __ |a 本书以协议工程活动所涉及的各种技术为主线, 以介绍基本原理、技术与方法为原则, 主要内容包括: 协议工程概论、协议设计技术、协议形式化描述技术、协议形式描述语言、协议验证技术、协议验证工具、协议一致性测试技术等。
- 510 1_ |a Network protocol engineering |z eng
- 606 0_ |a 通信协议 |A tong xin xie yi
- 701 _0 |a 吴礼发 |A wu li fa |4 编著
- 801 _0 |a CN |b HDUL |c 20110922
- 905 __ |a HDUL |d TN915.04/6321