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 |
Browsing Department of Computer Science shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
004.415.2 BRA Software Design | 004.415.2 BUR Real time system & their programming language | 004.415.2 CAL Embedded real-time systems | 004.415.2 DAV Specification and proof in real time CSP | 004.415.2 IRW Transputers in real time control | 004:415.2 LIU Real-Time systems / | 004:415.2 LIU;1 Real-Time systems / |
There are no comments on this title.