书籍简介:

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

书籍规格:

书籍详细信息
书名	网络协议的形式化分析与设计站内查询相似图书
	9787505386464 《网络协议的形式化分析与设计》pdf扫描版电子书已有网友提供资源下载链接,请点击下方按钮查看
出版地	北京	出版单位	电子工业出版社
版次	1版	印次	1
定价(元)	25.0	语种	简体中文
尺寸	19	装帧	平装
页数	360	印数	5000

全网搜索试读资源

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