具體描述
計算機網絡及數據通信是當今信息社會的基石，網絡協議則是其中不可缺少的重要組成部分。形式化方法與技術已經滲透到網絡協議開發的整個過程。本書就網絡協議分析與設計中的形式化方法與技術展開討論和介紹，主要內容包括：網絡協議及開發概論；網絡協議的形式化模型；網絡協議的形式描述語言；網絡協議的形式化驗證；網絡協議的形式化綜閤；網絡協議的測試；網絡協議的分析驗證工具；電子商務協議的形式化分析等。本書可作為計算機
著者簡介
圖書目錄
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有