Fortæl dine venner om denne vare:
A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information Chris Brink 1. udgave
Har du en konto? Log ind
Julegaver kan byttes frem til 31. januar
Modtag notifikation om nye Chris Brink udgivelser
Tilføj til din iMusic ønskeseddel
eller
A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information
Chris Brink
This text provides a synthesis of four versions of program semantics - relational semantics, predicate transformer semantics, information systems and domain theory - showing that is is possible to do back-and-forth translation from any of these versions of program semantics into any of the others.
286 pages
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 1. september 2001 |
| ISBN13 | 9781575863443 |
| Forlag | Centre for the Study of Language & Infor |
| Antal sider | 286 |
| Mål | 150 × 220 × 10 mm · 397 g |
| Sprog | Engelsk |
![Cover for David Barker-Plummer · Language, Proof, and Logic: Second Edition (Paperback Bog) [2 Revised edition] (2011)](https://imusic.b-cdn.net/images/item/original/321/9781575866321.jpg?david-barker-plummer-2011-language-proof-and-logic-second-edition-paperback-bog&class=scaled&v=1404323202)
![Cover for Grammatical Interfaces in HPSG - Studies in Constraint-Based Lexicalism (Paperback Bog) [New Ed edition] (2001)](https://imusic.b-cdn.net/images/item/original/146/9781575863146.jpg?2001-grammatical-interfaces-in-hpsg-studies-in-constraint-based-lexicalism-paperback-bog&class=scaled&v=1775027599)
