عنوان
پدید آورنده
موضوع
رده
TK 5105 .5 .H64
TK
5105
.
5
.
H64
کتابخانه
محل استقرار
Design and validation of computer protocols
Englewood Cliffs, N.J.
Prentice-Hall
c1991
xii, 500 p. : ill
Prentice Hall software series
Includes bibliographical references and indexes
Gerard J. Holzmann
1
2
3
، Computer network protocols- Design
TK
5105
.
5
.
H64
NO
Holzmann, Gerard J.
AU
AU American Telephone and Telegraph Company
TI
