عنوان
پدید آورنده
موضوع
رده
TK 5105.5 .H645 1991
TK
5105
.
5
.
H645
1991
کتابخانه
محل استقرار
0-13-539925-4
IR
44748
انگلیسی
IR
Design and validation of computer protocols
[Book]
/ Gerard J. Holzmann
Englewood Cliffs, N.J. :
: Prentice Hall,
, c1991.
xii, 500p.
: ill.
; 25 cm
Prentice Hall software series
English
At head of title: AT & T.
Includes bibliographical references and indexes.
Computer network protocols--Design.
TK
5105
.
5
.
H645
1991
Holzmann, Gerard J., author
American Telephone and Telegraph Company.
Iran
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
