Formal methods for Real-Time computing
Material type:![Book](/opac-tmpl/lib/famfamfam/BK.png)
- 0471958352
- 004.33 N963
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
Computer Science and Automation | 004.33 N963 (Browse shelf(Opens below)) | Available | 162715 |
Browsing Computer Science and Automation shelves Close shelf browser (Hides shelf browser)
Trans. from CSA to ML
There are no comments on this title.