Real time programming: Languages, specification and verification
By: Shyamasundar, R. K.
Material type:
BookPublisher: New Jersey World Scientific 2010Description: xv, 245p.ISBN: 978-9-810-22566-7.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| 004.33 SHY (Browse shelf) | Available | 508813 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
| 004.33 OLD Real-Time Systems: Formal Specification and Automatic verification | 004.33 SCH Concurrent and Realtime systems | 004.33 SHA (CR) Real time systems and software | 004.33 SHY Real time programming: Languages, specification and verification | 004.33 SIM An embedded software primer | 004.33 SIM An embedded software primer | 004.33 SIM An embedded software primer |
There are no comments for this item.