Real-time systems : specification, verification and analysis
Material type: TextSeries: Prentice Hall International series in computer sciencePublication details: New York : Prentice Hall, ©2001.Description: xii, 278 p. : ill. ; 26 cmISBN:- 0134552970
- 005.2 20 JOS-R
- QA76.54 .R4298 1996
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | IIITD Reference | Computing Books by India-based Author | CBIA 005.2 JOS-R (Browse shelf(Opens below)) | Loan on demand | 008937 |
Total holds: 0
Browsing IIITD shelves, Shelving location: Reference, Collection: Computing Books by India-based Author Close shelf browser (Hides shelf browser)
CBIA 005.2 BHU-P Parallel computing | CBIA 005.2 CHA-C Computer organization and design | CBIA 005.2 GRA-I Introduction to parallel computing | CBIA 005.2 JOS-R Real-time systems : | CBIA 005.2 RAJ-E Elements of parallel computing | CBIA 005.42 CHA-S System software | CBIA 005.42 DHA-S Systems programming |
Includes bibliographical references (p. 259-271) and index.
There are no comments on this title.