Duration calculus : a formal approach to real-time systems / Chaochen Zhou, Michael R. Hansen.
Language: İngilizce Series: EATCS monographs on theoretical computer sciencePublisher: Berlin : New York : Springer, c2004Description: x, 247 p. ; 25 cmISBN:- 3540408231 (hardcover : acid-free paper)
- QA76.54 .Z46 2004
| Item type | Current library | Home library | Collection | Call number | Vol info | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
Book
|
Merkez Kütüphane Genel Koleksiyon / Main Collection | Merkez Kütüphane | Genel Koleksiyon | QA76.54 .Z46 2004 (Browse shelf(Opens below)) | 1 | 1 | Available | 0000713 |
Browsing Merkez Kütüphane shelves, Shelving location: Genel Koleksiyon / Main Collection, Collection: Genel Koleksiyon Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | |||||||
| QA76.54 .K75 1997 Real-time systems / | QA76.54 .L59 2000 Real-Time systems / | QA76.54 .R42162 1997 Real-time database and information systems : | QA76.54 .Z46 2004 Duration calculus : a formal approach to real-time systems / | QA76.545 .G67 2000 Enterprise transaction processing systems : putting the COBRA OTS, Encina++ and OrbixOTM to work. | QA76.575 .A33 2003 Advanced animation with DirectX / | QA76.575 .A33 2003 Advanced animation with DirectX / |
There are no comments on this title.
Log in to your account to post a comment.
