Custom cover image
Design and validation of computer protocols / Gerard J. Holzmann
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Prentice Hall software seriesPublisher: Englewood Cliffs ; London : Prentice Hall, 1991Description: XII, 500 S : IllISBN:- 0135399254
- 0135398347
- 004.6/2 20
- 004.6'2
- 004.62
- TK5105.5
Contents:
Call number: Grundsignatur: 91 A 388PPN: PPN: 019400853
| Item type | Home library | Shelving location | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 91 A 388 | ;b | Available | 45672234090 |
Total holds: 0