Design and Validation of Computer Protocols (Paperback)
暫譯: 計算機協議的設計與驗證 (平裝本)
Gerard J. Holzmann
- 出版商: Prentice Hall
- 出版日期: 1990-10-11
- 售價: $790
- 貴賓價: 9.8 折 $774
- 語言: 英文
- 頁數: 512
- 裝訂: Paperback
- ISBN: 0135399254
- ISBN-13: 9780135399255
無法訂購
買這商品的人也買了...
-
計算機組織與設計--軟硬體界面第二版 (Computer Organization & Design, 2/e)$680$537 -
精通 Java Swing 程式設計$650$553 -
Thinking in Java 中文版 (Thinking in Java, 2/e)$920$727 -
LPI Linux 資格檢定 (LPI Linux Certification in a Nutshell)$880$695 -
Optical Networks: A Practical Perspective, 2/e$1,200$1,176 -
演算法導論 (Introduction to Algorithms, 2/e)$860$679 -
Programming Microsoft DirectShow for Digital Video, Television, and DVD$1,900$1,805 -
802.11 無線網路技術通論 (802.11 Wireless Networks: The Definitive Guide)$760$600 -
Red Hat Linux 9 架站實務$620$527 -
專業 JSP 程式設計 (Professional JSP, 2/e)$780$616 -
STRUTS 實作手冊(Struts in Action: Building Web Applications with the Leading Java Framework)$690$538 -
重構─改善既有程式的設計$720$569 -
Practical Java Programming Language Guide 中文版 (Practical Java Programming Language Guide)$560$442 -
Effective Java Programming Language Guide 中文版 (Effective Java Programming Language Guide)$560$442 -
Windows 程式設計 (Programming Windows, 5/e)$990$782 -
鳥哥的 Linux 私房菜－伺服器架設篇$750$638 -
Ant 實作手冊 (Java Development With Ant)$690$538 -
鳥哥的 Linux 私房菜─基礎學習篇增訂版$560$476 -
專案管理實務入門－引導專案成功的52條準則$280$218 -
人月神話：軟體專案管理之道 (20 週年紀念版)(The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition, 2/e)$480$379 -
JSP 2.0 技術手冊$750$593 -
建構嵌入式 Linux 系統$780$616 -
大師談遊戲程式設計─核心技術與演算法 (Core Techniques and Algorithms in Game Programming)$860$731 -
A Friendly Introduction to Number Theory, 3/e (IE-Paperback)$700$686 -
提升程式設計師的面試力｜189道面試題目與解答, 6/e (Cracking the Coding Interview : 189 Programming Questions and Solutions, 6/e)$880$695
相關主題
商品描述
Summary
This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol design problems, such as error control and flow control, are covered in detail, but also structured design methods and the construction of formal validation models. The book contains complete listings and explanations of new protocol validation and design tool called SPIN. Author is in charge of protocol design at Bell Labs. Professionals who bought Tanenbaum's COMPUTER NETWORKS, 2/E and Comer's TCP/IP will buy this. This is the first book to cover automated protocol design and validation tools extensively.
商品描述(中文翻譯)
**摘要**
本書探討了設計邏輯一致的多個計算機過程之間通信方法的基本問題。標準協議設計問題，如錯誤控制和流量控制，將詳細介紹，同時也涵蓋了結構化設計方法和正式驗證模型的構建。本書包含了名為 SPIN 的新協議驗證和設計工具的完整清單和解釋。作者負責貝爾實驗室的協議設計。購買過 Tanenbaum 的《計算機網路（第二版）》和 Comer 的《TCP/IP》的人士將會購買本書。這是第一本廣泛涵蓋自動化協議設計和驗證工具的書籍。
