《網絡協議工程》以協議工程活動所涉及的各種技術為主綫,以介紹基本原理、技術與方法為原則,主要內容包括:協議工程概論、協議設計技術、協議形式化描述技術、協議形式描述語言、協議驗證技術、協議驗證工具、協議一緻性測試技術等。各章均附有討論題、思考題及參考文獻。
網絡協議是計算機網絡及數據通信的核心,開發正確、有效的網絡協議一直是人們追求的目標。協議工程是指集成化、形式化的協議開發過程,其目的是減少協議開發中潛在的錯誤,提高協議開發的效率和質量。
發表於2024-11-27
網絡協議工程 2024 pdf epub mobi 電子書 下載
圖書標籤: 網絡協議 通信 通訊網絡 IT
典型國內教科書,圖少瞭點,描述中規中矩。
評分典型國內教科書,圖少瞭點,描述中規中矩。
評分典型國內教科書,圖少瞭點,描述中規中矩。
評分典型國內教科書,圖少瞭點,描述中規中矩。
評分典型國內教科書,圖少瞭點,描述中規中矩。
網絡協議工程 2024 pdf epub mobi 電子書 下載