Duration calculus: a formal approach to real- time systems /
Material type: TextPublication details: New York: Springer, 1998Description: x,247pISBN: 3-540-40823-1Contained works: Hansen,Michael RSubject(s): Computer scienceDDC classification: 005.273Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
BK | Kannur University Central Library | 005.273 ZHO/ (Browse shelf (Opens below)) | Available | 15085 |
Includes index.
There are no comments on this title.