Design and validation of computer protocols /
Holzmann, Gerard J.
Design and validation of computer protocols / Gerard J. Holzmann. - Englewood Cliffs, N.J. : Prentice Hall, c1991. - xii, 500 p. : ill. ; 25 cm. - Prentice Hall software series .
At head of title: AT & T.
Includes bibliographical references and indexes.
0135399254
90040822
Computer network protocols--Design.
TK5105.5 / .H645 1991
004.6/2
Design and validation of computer protocols / Gerard J. Holzmann. - Englewood Cliffs, N.J. : Prentice Hall, c1991. - xii, 500 p. : ill. ; 25 cm. - Prentice Hall software series .
At head of title: AT & T.
Includes bibliographical references and indexes.
0135399254
90040822
Computer network protocols--Design.
TK5105.5 / .H645 1991
004.6/2