本書針對通信軟體和通信協定的特點，從通信協定的分析、設計和描述人手，系統地介紹了兩種適用於通信軟體需求分析階段和設計階段的形式化描述語言，即消息跟蹤語言MSC和規範說明和描述語言SDL，重點介紹了在電信領域得到廣泛應用的SDL語言，並以設計一個微型交換機軟體和一個簡單通信協定為例，說明如何運用這些形式化語言進行通信軟體的需求分析、概要設計和詳細設計以及通信協議的分析設計。
本書可作為電腦通信專業和軟體工程（通信軟體方向）專業高年級本科生和研究生的教材，也可供通信軟體發展人員參考。

退換貨說明：

會員均享有10天的商品猶豫期（含例假日）。若您欲辦理退換貨，請於取得該商品10日內寄回。

辦理退換貨時，請保持商品全新狀態與完整包裝（商品本身、贈品、贈票、附件、內外包裝、保證書、隨貨文件等）一併寄回。若退回商品無法回復原狀者，可能影響退換貨權利之行使或須負擔部分費用。