Design and validation of computer protocols / Gerard J. Holzmann.
Material type:
TextSeries: Prentice Hall software seriesPublisher: London Prentice-Hall International 1991Description: xii, 500p. ill. 24cmISBN: 0135398347 Subject(s): Computer networks | Computers -- Networks -- ProtocolsDDC classification: 004.62 HOL 1991
| Item type | Current location | Call number | Materials specified | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Book-GN
|
Perpustakaan Ibnu Khaldun General Collection | 004.62 HOL 1991 (Browse shelf) | 44276 | Available | 0000046660 |
Includes bibliographical references and index
There are no comments on this title.