Design and Validation of Computer Protocols (Paperback)
Gerard J. Holzmann
- 出版商: Prentice Hall
- 出版日期: 1990-10-11
- 售價: $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 -
$1,176Optical Networks: A Practical Perspective, 2/e -
演算法導論 (Introduction to Algorithms, 2/e)$860$731 -
Programming Microsoft DirectShow for Digital Video, Television, and DVD$2,010$1,910 -
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$675 -
Ant 實作手冊 (Java Development With Ant)$690$538 -
鳥哥的 Linux 私房菜─基礎學習篇增訂版$560$504 -
專案管理實務入門－引導專案成功的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$774 -
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.
