Image from Amazon.com
CafeOBJ Report: the Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
Material type:
TextReference number:i9810235135Publication details: Singapore World Scientific Publishing Co Pte Ltd 1998 Description: 196 p. hardbackISBN: 9810235135
| Item type | Current library | Class number | Copy number | Status | Date due | Barcode | Item reservations | |
|---|---|---|---|---|---|---|---|---|
Standard
|
Main Library General Shelves | XX(325603.1) (Browse shelf(Opens below)) | 1 | Available | 325603-1001 |
Total reservations: 0
Browsing Main Library shelves, Shelving location: General Shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| XX(325563.1) Footprint Thailand Handbook: The Travel Guide | XX(325568.1) Footprint Pakistan Handbook: The Travel Guide | XX(325583.1) Spatially Resolved Magnetic Resonance | XX(325603.1) CafeOBJ Report: the Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification | XX(325608.1) Progress in Statistical Physics | XX(325613.1) Fuzzy Logic and Intelligent Technologies for Nuclear Science and Industry | XX(325618.1) Fission and Properties of Neutron-rich Nuclei |
BookData Record
1
There are no comments on this title.
Log in to your account to post a comment.