Duration calculus formal approach to real-time systems
Material type:
TextSeries: EATCS monographs on theoretical computer sciencePublication details: Berlin ; Springer ; c2004Description: x, 247 pISBN: 3540408231Subject(s): Real-time data processing. Formal methods (Computer science) Mathematics Data processing
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 681.3.06 CHA (Browse shelf (Opens below)) | Available | 51221 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available |
|
|
No cover image available |
|
No cover image available | ||
| 681.03.06 CLE An introduction to data types | 681.3.03 CHA Fortran 90/5: for scientists and engineers | 681.3.06 CHA Parallel Program Design a foundation | 681.3.06 CHA Duration calculus | 681.3.06 CHA Reminiscing Ideas and Interactions | 681.3.06 CHAR First Leaves: Tutorial introduction to Maple V | 681.3.06 CLO Programming in prolog |
There are no comments on this title.