登錄???|???注冊
吳禮發編著
作品粉絲 8 人
全部作品
本書以協議工程活動涉及到的各種技術為主線，以介紹基本原理、技術與方法為原則，主要內容包括：協議工程概論、協議設計技術、協議形式化描述技術、協議形式描述語言、協議驗證技術、協議驗證工具、協議一致性測試技術等。各章均附有討論題、思考題及參考文獻。
吳禮發編著 ·網絡通信 ·17.7萬字
網站合作：傅女士 fuli.a@yuewen.com
雙新用戶（設備和賬號都新為雙新用戶）下載并登錄后1-20天最多可免費領取20本會員/單訂書且可免費讀10天
Copyright (C) 2025 www.cqxianglaokan.com All Rights Reserved 上海閱文信息技術有限公司 版權所有 粵公網安備 44030002000001號 ???? 增值電信業務經營許可證：粵B2-20090059???? 互聯網ICP備案號： 粵B2-20090059-5 ???? 舉報電話：010-59357051 營業執照 網絡文化經營許可證：滬網文 (2023) 3296-228號 網絡出版服務許可證：（署）網出證（滬）字第055號????互聯網宗教信息服務許可證：滬（2023）0000015
QQ閱讀手機版
