Normal view MARC view ISBD view

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.

ISBN: 0135399254 9780135399255

LCCN: 90040822

Subjects--Topical Terms:
Computer network protocols--Design

Subjects--Index Terms:

Index Terms--Genre/Form: --Text book

Dewey Class. No.: 004.62 / HOL