| Summary: |
計算機網絡及數據通信是當今信息社會的基石，網絡協議則是其中不可缺少的重要組成部份。形式化方法與技術已經滲透到網絡協議開發的整個過程。本書就網絡協議分析與設計中的形式化方法與技術展開討論和介紹，主要內容包括：網絡協議及開發概論；網絡協議的形式化模型；網絡協議的形式化描述語言；網絡協議的形式化驗證；網絡協議的形式化綜合；網絡協議的測試；網絡協議的分析和驗證工具；電子商務協議的形式化分析等。本書可作為計算機、通信、自動化等專業高年級本科生或研究生的教學用書，也可作為相關領域的研究人員和工程技術人員的參考書。 |