Banner
Holzmann, Gerard J.

Design and validation of computer protocols / Gerard J. Holzmann. - Upper Saddle River, United States : Prentice Hall, c.1991. - xii, 500 p. : chart, forms, tables ; 25 cm. - Prentice Hall software series .

At head of title : AT & T. Includes indexes.

Includes bibliographical references.

0135399254 9780135399255

90040822


Computer network protocols--Design



--Text book

004.62 / HOL