Temporal logic for real time systems
Material type: TextCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 OST (Browse shelf (Opens below)) | Available | 28013 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
D6,8(B) M915
There are no comments on this title.