Introduction to the formal design of real-time systems
Material type:
TextLanguage: English Series: Applied computingPublication details: London Springer-Verlag 1999Description: xiii,461pISBN: - 3-540-76140-3
- 005.273 G778
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata 4th Floor | 005.273 G778 (Browse shelf(Opens below)) | Available | 119093 |
Total holds: 0
Browsing ISI Library, Kolkata shelves, Shelving location: 4th Floor Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | ||||||
| 005.265 P513 Programming windows 95 | 005.268 K16 Unix shell programming | 005.268 Si573 Linux in a nutshell | 005.273 G778 Introduction to the formal design of real-time systems | 005.273 H785 Specification and compositional verification of real-time systems | 005.273 In61R(80) Real time programming 1980 | 005.273 M381 Programming real-time computer systems |
There are no comments on this title.
Log in to your account to post a comment.
