Advances in Temporal Logic : (ALS 16)
Material type: TextSeries: Applied Logic Series, 16Publication details: Netherlands ; Kluwer Acad. ; 2000Description: 453ISBN: 0 7923 6149 0Subject(s): Temporal LogicCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 BAR (Browse shelf (Opens below)) | Available | 46528 |
There are no comments on this title.