Dynamic logic
Material type: TextSeries: Foundations of ComputingPublication details: Cambridge ; MIT Press ; 2000Description: 459ISBN: 0 262 08289 6Subject(s): Computer logic Formal methodsCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 HAR (Browse shelf (Opens below)) | Available | 49440 |
There are no comments on this title.