Design and validation of computer protocols / Gerard J. Holzmann.
Series: Prentice Hall software seriesPublication details: Englewood Cliffs, N.J. : Prentice Hall, c1991.Description: xii, 500 p. : ill. ; 25 cmISBN:- 0135399254
- 004.6/2 20
Item type | Current library | Home library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
![]() |
Ayesha Abed Library General Stacks | Ayesha Abed Library General Stacks | 004.62 HOL (Browse shelf(Opens below)) | 1 | Available | 3010019915 | ||
![]() |
Ayesha Abed Library General Stacks | Ayesha Abed Library General Stacks | 004.62 HOL (Browse shelf(Opens below)) | 2 | Available | 3010019914 | ||
![]() |
Ayesha Abed Library General Stacks | Ayesha Abed Library General Stacks | 004.62 HOL (Browse shelf(Opens below)) | 3 | Available | 3010019913 | ||
![]() |
Ayesha Abed Library General Stacks | Ayesha Abed Library General Stacks | 004.62 HOL (Browse shelf(Opens below)) | 4 | Available | 3010019912 | ||
![]() |
Ayesha Abed Library General Stacks | Ayesha Abed Library General Stacks | 004.62 HOL (Browse shelf(Opens below)) | 5 | Available | 3010019911 |
Total holds: 0
Browsing Ayesha Abed Library shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
004.62 FOR TCP/IP protocol suite / | 004.62 HAG IPv6 network programming / | 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 HOL Design and validation of computer protocols / | 004.62 HOL Design and validation of computer protocols / |
At head of title: AT & T.
Includes bibliographical references and indexes.
There are no comments on this title.