計算機網絡及數據通信是當今信息社會的基石,網絡協議則是其中不可缺少的重要組成部分。形式化方法與技術已經滲透到網絡協議開發的整個過程。本書就網絡協議分析與設計中的形式化方法與技術展開討論和介紹,主要內容包括:網絡協議及開發概論;網絡協議的形式化模型;網絡協議的形式描述語言;網絡協議的形式化驗證;網絡協議的形式化綜閤;網絡協議的測試;網絡協議的分析驗證工具;電子商務協議的形式化分析等。本書可作為計算機
發表於2024-11-07
網絡協議的形式化分析與設計 2024 pdf epub mobi 電子書 下載
圖書標籤: 計算機科學 協議 Network 形式化方法 計算科學 網絡編程 SoftEng NetWork
網絡協議的形式化分析與設計 2024 pdf epub mobi 電子書 下載