Design and validation of computer protocols / Gerard J. Holzmann.
Material type: TextSeries: 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
- 004.62 22 HOL
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
NB - Book (Non borrowing) | Central Library Lower Floor | Baccah | 004.62 HOL (Browse shelf(Opens below)) | Not for loan | 000035658 | ||
Book - Borrowing | Central Library Lower Floor | Baccah | 004.62 HOL (Browse shelf(Opens below)) | Available | 000035659 | ||
Book - Borrowing | Central Library Lower Floor | Baccah | 004.62 HOL (Browse shelf(Opens below)) | Available | 000035660 |
Total holds: 0
Browsing Central Library shelves, Shelving location: Lower Floor Close shelf browser (Hides shelf browser)
004.62 GRO Global IPv6 strategies : | 004.62 HOL Design and validation of computer protocols / | 004.62 HOL Design and validation of computer protocols / | 004.62 HOL Design and validation of computer protocols / | 004.62 KUM Bluetooth application programming with the Java APIs / | 004.62 LIQ IPv6 advanced protocols implementation / | 004.62 LIQ IPv6 advanced protocols implementation / |
At head of title : AT & T.
Includes indexes.
Includes bibliographical references.
There are no comments on this title.