Normal view MARC view ISBD view

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

By: Holzmann, Gerard J.
Contributor(s): American Telephone and Telegraph Company.
Material type: materialTypeLabelBookSeries: Prentice Hall software series.Publisher: Upper Saddle River, United States : Prentice Hall, c.1991Description: xii, 500 p. : chart, forms, tables ; 25 cm.ISBN: 0135399254; 9780135399255.Subject(s): Computer network protocols -- Design | Computer Science March2014Genre/Form: -- Text bookDDC classification: 004.62
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
Book - (Non borrowing) Book - (Non borrowing) Central Library
Lower Floor
Baccah 004.62 HOL (Browse shelf) Not for loan 000035658
Book - Borrowing Book - Borrowing Central Library
Lower Floor
Baccah 004.62 HOL (Browse shelf) Available 000035659
Book - Borrowing Book - Borrowing Central Library
Lower Floor
Baccah 004.62 HOL (Browse shelf) Available 000035660
Total holds: 0

At head of title : AT & T.

Includes indexes.

Includes bibliographical references.

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha