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 processingCurrent 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 |
There are no comments on this title.