語系/ Language: 繁體中文

網絡協議的形式化分析與設計
古天龍

 

  • 網絡協議的形式化分析與設計
  • 紀錄類型: 書目-語言資料,印刷品 : 單行本
    作者: 古天龍
    出版地: 北京
    出版者: 電子工業出版社;
    出版年: 2003
    標題: 計算機網絡 - 通信協議 -
    電子資源: http://cec.lib.apabi.com:80/product.asp?BookID=ISBN7%2d5053%2d8646%2d8
    摘要註: 計算機網絡及數據通信是當今信息社會的基石,網絡協議則是其中不可缺少的重要組成部份。形式化方法與技術已經滲透到網絡協議開發的整個過程。本書就網絡協議分析與設計中的形式化方法與技術展開討論和介紹,主要內容包括:網絡協議及開發概論;網絡協議的形式化模型;網絡協議的形式化描述語言;網絡協議的形式化驗證;網絡協議的形式化綜合;網絡協議的測試;網絡協議的分析和驗證工具;電子商務協議的形式化分析等。本書可作為計算機、通信、自動化等專業高年級本科生或研究生的教學用書,也可作為相關領域的研究人員和工程技術人員的參考書。
    ISBN: 7505386468
多媒體
評論
  • 新增評論 分享你的心得,請勿在此評論區張貼涉及人身攻擊、情緒謾罵、或內容涉及非法的不當言論,館方有權利刪除任何違反評論規則之發言,情節嚴重者一律停權,以維護所有讀者的自由言論空間。
Export
取書館別
 
 
變更密碼
登入