An introduction to formal specification and z [Text] Patter, Ben
Material type:
TextLanguage: English Series: Prentice Hall International Series in Computer SciencePublication details: Prentice Hall New York 1991Description: xiii, 304 p. ill, 23 cmISBN: - 9780134787022
- 005.12 POT
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
Lending Materials
|
Main Library Lending Division | Lending Collection | 005.12 POT (Browse shelf(Opens below)) | 1 | Available | 188702 |
Total holds: 0
Browsing Main Library shelves, Shelving location: Lending Division, Collection: Lending Collection Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 005.12 HOF Modern systems analysis and design | 005.12 HOF Modern systems analysis and design | 005.12 LAU Information systems and the internet | 005.12 POT An introduction to formal specification and z | 005.12 POW Computer information systems development | 005.12 ROB Simple program design | 005.12 SPE Specification case studies |
There are no comments on this title.
Log in to your account to post a comment.