| 词条 | 网络协议工程 |
| 释义 | 图书信息书 名: 网络协议工程 作 者：吴礼发 出版社： 电子工业出版社 出版时间： 2011年4月1日 ISBN: 9787121131301 开本： 16开 定价: 39.90元 内容简介网络协议是计算机网络及数据通信的核心，开发正确、有效的网络协议一直是人们追求的目标。协议工程是指集成化、形式化的协议开发过程，其目的是减少协议开发中潜在的错误，提高协议开发的效率和质量。本书以协议工程活动所涉及的各种技术为主线，以介绍基本原理、技术与方法为原则，主要内容包括：协议工程概论、协议设计技术、协议形式化描述技术、协议形式描述语言、协议验证技术、协议验证工具、协议一致性测试技术等。各章均附有讨论题、思考题及参考文献。 图书目录目 录 第1章 概述1 第2章 协议设计技术10 第3章 协议形式化描述技术48 第4章 协议形式描述语言77 第5章 协议验证技术115 第6章 协议验证工具135 第7章 协议一致性测试技术165 附录A 英文缩略词245 |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。