First-Order Dynamic Logic [electronic resource] / edited by David Harel.
Material type: TextSeries: Lecture Notes in Computer Science ; 68Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1979Description: XII, 136 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540353461Subject(s): Computer science | Computer Science | Computer Science, generalAdditional physical formats: Printed edition:: No titleDDC classification: 004 LOC classification: QA75.5-76.95Online resources: Click here to access online In: Springer eBooksCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK4153 |
There are no comments on this title.