Image from Amazon.com
Real-time systems Specification, Verification and analysis ed. by Mathai Joseph
Material type:
BookSeries: Prentice Hall International series in computer sciencePublication details: London P-H 1996Description: xiv, 278pISBN: - 0134552970
- 004.33 N961
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Reference
|
Computer Science and Automation | 004.33 N961 (Browse shelf(Opens below)) | Available | 160660 |
Browsing Computer Science and Automation shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 004.33 N931;1(CSA) Transaction processing concepts and techniques | 004.33 N932(CSA) Transaction Processing Concepts and Techniques | 004.33 N933 Practical guide to Real-Time systems development | 004.33 N961 Real-time systems Specification, Verification and analysis | 004.33 N963 Formal methods for Real-Time computing | 004.33 N97 Real-Time systems design and analysis An Engineer's handbook | 004.33019 N98 Designing the user interface Strategies for effective human-computer interaction |
There are no comments on this title.