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

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