RecordNumber :
6551
LC Class :
TK
LC Number :
5105.5
LC CutterNumber :
.H6
Author :
Holzmann, Gerard J.
Title :

Design and vallidation of computer protocols

Author Statement :
Gerard J. Holzmann
Publication :
Prenctice- Hall
Publication Year :
1991
Collation :
xii, 500 p.: illus.; 25 cm
Subject :
Computer network protocols
DocumentNumber :
33917
Biblography :
Includes bibliographies and index
BL :
BL
Link To Document :

بازگشت