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
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
004.6/2