Opening book details…
Can I read Design And Validation Of Computer Protocols (Prentice Hall Software Series) on EtoBox?
Design And Validation Of Computer Protocols (Prentice Hall Software Series) by Holzmann, Gerard J; American Telephone and Telegraph Company is a computer science book available to read on EtoBox.
What is Design And Validation Of Computer Protocols (Prentice Hall Software Series) about?
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. Professional
Who reads Design And Validation Of Computer Protocols (Prentice Hall Software Series)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Holzmann, Gerard J; American Telephone and Telegraph Company
- Publisher
- Pearson Technology Group
- Published
- 2002
- Language
- EN
- ISBN
- 9780135399255
- Category
- computer science
- Subjects
- Engineering, Computer Science, Computers
- Updated
- 2026-03-25
Other editions & translations
More by Holzmann, Gerard J; American Telephone and Telegraph Company
Browse all works by Holzmann, Gerard J; American Telephone and Telegraph Company
Similar books
- Software Essentials: Design and Construction (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series) — Adair Dingle (2014)
- Object-oriented Software Construction (Prentice-Hall International Series in Computer Science) — Meyer, Bertrand, (1988)
- Compiler Design in C (Prentice-Hall Software Series) — Allen I. Holub (1990)
- Operating Systems: Design and Implementation (Prentice-Hall Software Series) — Andrew S. Tannenbaum (1987)
- Structured Cobol: A Pragmatic Approach (prentice-hall Software Series) — Grauer, Robert T., 1945; Crawford, Marshal A. (1981)
- Embedded Systems and Software Validation (Morgan Kaufmann Series in Systems on Silicon (Hardcover)) — Abhik Roychoudhury (2009)