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
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
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 |
At head of title : AT & T.
Includes indexes.
Includes bibliographical references.
There are no comments on this title.