Image from Google Jackets

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

By: Contributor(s): Material type: TextTextSeries: Prentice Hall software seriesPublication details: Upper Saddle River, United States : Prentice Hall, c.1991.Description: xii, 500 p. : chart, forms, tables ; 25 cmISBN:
  • 0135399254
  • 9780135399255
Subject(s): Genre/Form: DDC classification:
  • 004.62 22 HOL
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
NB - Book (Non borrowing) NB - Book (Non borrowing) Central Library Lower Floor Baccah 004.62 HOL (Browse shelf(Opens below)) Not for loan 000035658
Book - Borrowing Book - Borrowing Central Library Lower Floor Baccah 004.62 HOL (Browse shelf(Opens below)) Available 000035659
Book - Borrowing Book - Borrowing Central Library Lower Floor Baccah 004.62 HOL (Browse shelf(Opens below)) Available 000035660
Total holds: 0

At head of title : AT & T.

Includes indexes.

Includes bibliographical references.

There are no comments on this title.

to post a comment.