网络协议的形式化分析与设计

书籍简介:

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

书籍规格:

书籍信息归属:

网络协议的形式化分析与设计是电子工业出版社于2003.04出版的中图分类号为 TN915.04 的主题关于 计算机网络－通信协议 的书籍。