《网络协议工程》/吴礼发-宝阳悦读网

《网络协议工程》/吴礼发

作者：吴礼发

格式：

mobi/epub/pdf/awz3

浏览量：

31次

扫码关注公众号

温馨提示：书籍来自网络收集，版权归原作者所有，仅做学习试读,下载后请24小时内删除,侵权删(联系:1401211620@qq.com)

所属分类:

计算机网络 >> 互联网

点击下载

收藏该图书

内容简介:

网络协议是计算机网络及数据通信的核心，开发正确、有效的网络协议一直是人们追求的目标。协议工程是指集成化、形式化的协议开发过程，其目的是减少协议开发中潜在的错误，提高协议开发的效率和质量。本书以协议工程活动所涉及的各种技术为主线，以介绍基本原理、技术与方法为原则，主要内容包括：协议工程概论、协议设计技术、协议形式化描述技术、协议形式描述语言、协议验证技术、协议验证工具、协议一致性测试技术等。各章均附有讨论题、思考题及参考文献。