Limit search to available items
Book Cover
Book
Author Holzmann, Gerard J.

Title Design and validation of computer protocols / Gerard J. Holzmann
Published Englewood Cliffs, N.J. : Prentice Hall, [1991]
©1991

Copies

Location Call no. Vol. Availability
 W'PONDS  004.62 Hol/Dav  AVAILABLE
Description xii, 500 pages : illustrations ; 25 cm
Series Prentice-Hall software series
Prentice-Hall software series.
Notes At head of title: AT & T
Bibliography Includes bibliographical references and indexes
Subject Computer network protocols -- Design.
Author Lieberman, William S. (William Slattery), 1923-2005.
American Telephone and Telegraph Company.
LC no. 90040822
ISBN 0135399254
Other Titles Design & validation of computer protocols