Design and validation of computer protocols

RecordNumber
523
Author
Holzmann, Gerard J
Title
Design and validation of computer protocols
Author Statement
Gerard J Holzmann
Publication
Canada Prentic-hall international editions
Publication Year
1991
Collation
500p
Subject
computer protocols
LC Class
TK
LC Number
5105
LC CutterNumber
D4H6
LC Date
1991
Link To Document :
https://digitallib.qut.ac.ir/dL/search/default.aspx?Term=523&Field=0&DTC=3