Specification and proof in real time CSP
Material type: TextLanguage: English Publication details: Cambridge Cambridge pressDescription: 180ISBN:- 0521450551
- 004.415.2 DAV
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | Department of Computer Science General Stacks | 004.415.2 DAV (Browse shelf(Opens below)) | Available | MCS02727 |
There are no comments on this title.