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
At head of title: AT & T.
Includes bibliographical references and indexes.
There are no comments on this title.