Amazon cover image
Image from Amazon.com

Real-time systems : specification, verification and analysis

Contributor(s): Material type: TextTextSeries: Prentice Hall International series in computer sciencePublication details: New York : Prentice Hall, ©2001.Description: xii, 278 p. : ill. ; 26 cmISBN:
  • 0134552970
Subject(s): DDC classification:
  • 005.2 20 JOS-R
LOC classification:
  • QA76.54 .R4298 1996
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
Books 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.

to post a comment.
© 2024 IIIT-Delhi, library@iiitd.ac.in

Powered by Koha