Author Statement

Gerard J. Holzmann

Collation

xii, 500 P

Addition

,

Title

Design and validation of computer protocols

LC Class

004

LC Number

.62

LC CutterNumber

H 762 D

Publication Year

1991

Publication

Prentice- Hall

Subject

Computer network protocols- design

DocumentNumber

4372

ISBNN

, 1 , 290 , 2-1

RecordNumber

1281