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

作者古天龙
出版社
出版时间2003-06-01

特色:

本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍,主要内容包括网络协议及开发概论,网络协议的形式化模型,网络协议的形式化描述语言等。

推荐

车牌查询
桂ICP备20004708号-3