Design and validation of computer protocols
Saved in:
Main Author: | Holzmann, Gerard J |
---|---|
Corporate Author: | American Telephone and Telegraph Company |
Format: | Book |
Published: |
Englewood Cliffs, N.J.
Prentice Hall
1991
|
Series: | Prentice Hall software series
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Elements of network protocol design
by: Gouda, Mohamed G. 1947-
Published: (1998) -
Protocol analysis WB77.0
Published: (2001) -
Network protocol handbook
by: Naugle, Matthew G
Published: (1994) -
DATA LINK PROTOCOLS
by: Black, Uyless D
Published: (1993) -
TCP/IP and related protocol
by: Black, Uyless D
Published: (1995)