Object-Z Specification Language
Material type:
TextSeries: Adances in formal methodsPublication details: Boston: Kluwer Academic Publishers, 2000Description: xiii, 146 p.; ill.: 24 cmISBN: - 0792386841
- 005.117 SMI
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | DAU | 005.117 SMI | Available | 017321 |
There are no comments on this title.
Log in to your account to post a comment.