Real-time systems : specification, verification, and analysis / edited by Mathai Joseph.
Material type:
TextSeries: Prentice Hall International series in computer sciencePublication details: London ; New York : Prentice Hall, 1996. Description: xiv, 278 p. : ill. ; 24 cmISBN: 0134552970 (pbk.)Subject(s): Computer Science | Real-time data processingDDC classification: 005.2
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
General Books
|
Malaviya National Institute of Technology General Stacks | 005.2 JOS (Browse shelf(Opens below)) | Available | 52961 |
Includes bibliographical references (p. 259-271) and index.
There are no comments on this title.