Software development with Z a practical approach to formal methods in software engineering /
Material type: Text 1992Description: Soft Binding xii 334ISBN:- 201627574
- 005.12 WOR-S
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | COMSATS University Lahore Campus | 005.12 WOR-S (Browse shelf(Opens below)) | 1 | Available | LHR 34320 |
Total holds: 0
Browsing COMSATS University Lahore Campus shelves Close shelf browser (Hides shelf browser)
English
There are no comments on this title.