Formal Specification: Techniques And Applications
Material type: TextPublication details: Springer-Verlag 1999Edition: Description: 295ISBN:- 1-85233-002-3
- 004.415.52
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | Department of Computer Science | 004.415.52 (Browse shelf(Opens below)) | Available | MCS03664 |
Browsing Department of Computer Science shelves Close shelf browser (Hides shelf browser)
There are no comments on this title.