Design and validation of computer protocols / Gerard J. Holzmann.
Material type:
- 0135398347
- 004.62 HOL 1991
Item type | Current library | Call number | Copy number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|
![]() |
PERPUSTAKAAN POLITEKNIK SULTAN SALAHUDDIN ABDUL AZIZ SHAH | 004.62 HOL 1991 (Browse shelf(Opens below)) | 44276 | Pilih buang (Weeding) | Bilik Perbincangan 11 | 0000046660 |
Browsing PERPUSTAKAAN POLITEKNIK SULTAN SALAHUDDIN ABDUL AZIZ SHAH shelves Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
004.62 GRI 1995 Computer/Telecom integration : the SCAI solution / Arkady Grinberg. | 004.62 HAR 1994 Total SNMP : exploring the Simple Network Management | 004.62 HEY 1996 Networking with Microsoft TCP/IP / Drew Heywood. | 004.62 HOL 1991 Design and validation of computer protocols | 004.62 HUS 2005 Fault-tolerant IP and MPLS networks | 004.62 ISK 2004 Membina laman wap telefon bimbit | 004.62 JAI 1994 FDDI handbook : high-speed networking using fiber and other media |
Includes bibliographical references and index
There are no comments on this title.