Specification and Proof in real- time CSP / Jim Davis.
Material type:
TextPublication details: Cambridge : Press Sydicate, c1993.Description: xvii,180 pISBN: - 0521450551
- QA 76.6 .D38
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
General Collection item
|
Nairobi Campus Open Shelves | QA 76.6.D38 (Browse shelf(Opens below)) | c.1 | Available | BK038333 |
Browsing Nairobi Campus shelves, Shelving location: Open Shelves Close shelf browser (Hides shelf browser)
| QA76.58.I578 Introduction to parallel computing / | QA76.6.A32 Problem solving : | QA76.6.B57 A practical handbook for software development / | QA 76.6.D38 Specification and Proof in real- time CSP / | QA76.6.P73 2005 Software engineering : | QA76.6.R42 An introduction to algorithm design and structured programming / | QA76.6.W3275 Introduction to computing and computer science with pascal / |
There are no comments on this title.
Log in to your account to post a comment.