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

Evans: Library Stacks