Cart
Free Shipping in the UK
Proud to be B-Corp

Design and Validation of Computer Protocols Gerard J. Holzmann

Design and Validation of Computer Protocols By Gerard J. Holzmann

Design and Validation of Computer Protocols by Gerard J. Holzmann


£4.90
Condition - Good
Out of stock

Summary

Offering a systematic approach for designing protocol systems with the power to govern the interactions of concurrent processes in distributed systems, this text seeks to familiarize readers with issues of protocol design including general and specific techniques for process co-ordination.

Design and Validation of Computer Protocols Summary

Design and Validation of Computer Protocols by Gerard J. Holzmann

More than just a guide to protocol standards, codes and formats, this text offers a systematic approach for designing complete and consistent protocol systems with the power to govern the interactions of concurrent processes in distributed systems. Specifically intended as a guide to protocol design and analysis, the text familiarizes readers with all the issues of protocol design including general and specific techniques for process co-ordination.

Table of Contents

Part 1 Basic: introduction; protocol structure; error control; flow control. Part 2 Specification and modeling: validation models; correctness requirements; protocol design; finite state machines. Part 3 Conformance testing synthesis and validation: conformance testing; protocol synthesis; protocol validation. Part 4 Design tools: a protocol simulator; a protocol validator; using the validator.

Additional information

GOR013650896
9780135398340
0135398347
Design and Validation of Computer Protocols by Gerard J. Holzmann
Used - Good
Paperback
Pearson Education (US)
19901100
512
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in good condition, but if you are not entirely satisfied please get in touch with us

Customer Reviews - Design and Validation of Computer Protocols