Specification and compositional verification of real-time systems
Material type:
TextLanguage: English Series: Lecture notes in computer science, v 558Publication details: Berlin Springer Verlag 1991Description: viii,235pISBN: - 3-540-5494-7
- 005.273 H785
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata 4th Floor | 005.273 H785 (Browse shelf(Opens below)) | Available | 112082 |
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.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 | 005.276 B847 Netscape one sourcebook |
There are no comments on this title.
Log in to your account to post a comment.
