Design and validation of computer protocols

• Κύριος συγγραφέας: Holzmann, Gerard J. (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: London New Jersey Prentice-Hall AT&T Bell Telephone Laboratories, Inc. c1991 c1991
• Θέματα: Ηλεκτρονικοί υπολογιστές > Πρωτόκολλα δικτύων
• Περιγραφή τεκμηρίου: Βιβλιογραφία: σσ. 351-368 Περιέχει ασκήσεις
• Φυσική περιγραφή: xii, 500p. fig.
• ISBN: 0135398347