Design and validation of computer protocols / Gerard J. Holzmann.

By:

Contributor(s):

Material type: Text

TextSeries: Prentice Hall software seriesPublication details: Englewood Cliffs, N.J. : Prentice Hall, c1991.Description: xii, 500 p. : ill. ; 25 cmISBN:

Subject(s):

DDC classification:

LOC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	Informatics and Virtual Education Library Collection General Collection	TK5105.5 .H645 1991 (Browse shelf(Opens below))	Available		3552

At head of title: AT & T.

Includes bibliographical references and indexes.

There are no comments on this title.

to post a comment.