عنوان
پدید آورنده
موضوع
رده
TK 5105.5 .H645 1991
TK
5105
.
5
.
H645
1991
کتابخانه
محل استقرار
CE H1
Holzmann, Gerard J.
Design and validation of computer protocols
Englewood Cliffs
Prentice-Hall
1991
xii, 500 p. : ill
Prentice-Hall software series
At head of title : AT & T
Includes bibliographical references and indexes
Computer network protocols Design
TK
5105
.
5
.
H645
1991
AU
Gerard J. Holzmann
