吳禮發編著
本書以協議工程活動涉及到的各種技術爲主線，以介紹基本原理、技術與方法爲原則，主要內容包括：協議工程概論、協議設計技術、協議形式化描述技術、協議形式描述語言、協議驗證技術、協議驗證工具、協議一致性測試技術等。各章均附有討論題、思考題及參考文獻。
