-
RecordNumber
30155
-
Author
Holzmann, Gerald J.
-
Title
Design and validation of computer protocols
-
Author Statement
Gerald J. Holzmann
-
Publication
Prentice-Hall
-
Publication Year
c1991
-
Collation
xii, 500 p
-
Subject
Computer network protocols
-
Main Class
004
-
Sub Class
.62
-
Cutter no
H762d
-
وارد كنندة اطلاعات
Mobaraki 1130^d// , fazel^d2003/09/27 14:01:40
-
Link To Document :
