-
網絡協議工程
鎖定
《網絡協議工程》是2011年電子工業出版社出版的圖書，作者是吳禮發。
[1]
- 中文名
- 網絡協議工程
- 作 者
- 吳禮發
- 出版社
- 電子工業出版社
- 出版時間
- 2011年4月1日
- 定 價
- 39.9 元
- 開 本
- 16 開
- ISBN
- 9787121131301
網絡協議工程內容簡介
網絡協議是計算機網絡及數據通信的核心，開發正確、有效的網絡協議一直是人們追求的目標。協議工程是指集成化、形式化的協議開發過程，其目的是減少協議開發中潛在的錯誤，提高協議開發的效率和質量。本書以協議工程活動所涉及的各種技術為主線，以介紹基本原理、技術與方法為原則，主要內容包括：協議工程概論、協議設計技術、協議形式化描述技術、協議形式描述語言、協議驗證技術、協議驗證工具、協議一致性測試技術等。各章均附有討論題、思考題及參考文獻。
網絡協議工程圖書目錄
目 錄
第1章 概述1
第2章 協議設計技術10
第3章 協議形式化描述技術48
第4章 協議形式描述語言77
第5章 協議驗證技術115
第6章 協議驗證工具135
第7章 協議一致性測試技術165
附錄A 英文縮略詞245
- 參考資料
-
- 1. 網絡協議工程 ．豆瓣[引用日期2017-08-20]
