Design and validation of computer protocols

• Main Author: Holzmann, Gerard J. (Author)
• Format: Book
• Language: English
• Published: London New Jersey Prentice-Hall AT&T Bell Telephone Laboratories, Inc. c1991 c1991
• Subjects: Ηλεκτρονικοί υπολογιστές > Πρωτόκολλα δικτύων