Design and validation of computer protocols /

Bibliographic Details
Main Author:	Holzmann, Gerard J.
Corporate Author:	American Telephone and Telegraph Company
Format:	Book
Language:	English
Published:	Englewood Cliffs, N.J. : Prentice Hall, [1991]
Series:	Prentice-Hall software series.
Subjects:	Computer network protocols > Design. Computers > Networks > Protocols

Description
Item Description:	At head of title: AT & T.
Physical Description:	xii, 500 pages : illustrations ; 25 cm.
Bibliography:	Includes bibliographical references and indexes.
ISBN:	0135399254