Publisher | Pearson Technology Group |
ISBN 13 | 9780135399255 |
ISBN 10 | 0135399254 |
Book Description | Differing from other data communications books, this one emphasizes the logic behind the design process. It discusses design principles in order to provide guidelines for the design of protocols that are logically consistent. For courses in data communications, operating systems, or protocol design. |
Language | English |
Author | Gerard J. Holzmann |
Publication Date | 17-Jan-08 |
Number of Pages | 512 |
Design And Validation Of Computer Protocols paperback english - 17-Jan-08