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 |
D6,8(B) M915
Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 OST (Browse shelf (Opens below)) | Available | 28013 |
D6,8(B) M915
There are no comments on this title.