Image from Amazon.com
Image from Google Jackets
Logic of Programs [electronic resource] : Workshop, ETH Zürich, May–July 1979 / edited by Erwin Engeler.
Material type:
TextSeries: Lecture Notes in Computer Science ; 125Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Description: VII, 245 p. online resourceContent type: - text
- computer
- online resource
- 9783540386315
- 005.1015113 23
- QA76.9.L63
- QA76.5913
- QA76.63
Contents:
In:
Springer eBooks
On the duality of dynamic algebras and kripke models -- The deducibility problem in propositional dynamic logic -- PAL — Propositional algorithmic logic -- Propositional dynamic logics of programs: A survey -- On the algorithmic theory of dictionaries -- On the algorithmic properties of concurrent programs -- A survey of the logic of effective definitions.
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK4516 |
On the duality of dynamic algebras and kripke models -- The deducibility problem in propositional dynamic logic -- PAL — Propositional algorithmic logic -- Propositional dynamic logics of programs: A survey -- On the algorithmic theory of dictionaries -- On the algorithmic properties of concurrent programs -- A survey of the logic of effective definitions.
There are no comments on this title.
Log in to your account to post a comment.