عنوان
پدید آورنده
موضوع
رده
TK 5105 .5 .H645 1991
TK
5105
.
5
.
H645
1991
کتابخانه
محل استقرار
Design and validation of computer protocols
Englewood Cliffs, N.J.
Prentice Hall
c1991
xii, 500 p. :ill. ;25 cm
Prentice Hall software series
At head of title: AT & T
Includes bibliographical references and indexes.
Gerard J. Holzmann
1
، Computer network protocols- Design
004
.
6/2
TK
5105
.
5
.
H645
1991
NO
Holzmann, Gerard J.
AU
CO American Telephone and Telegraph Company.
TI
