Faites connaître cet article à vos amis:
A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information Chris Brink 1er édition
Avez-vous un profil ? Connectez-vous
Recevez une notification pour les nouvelles sorties de Chris Brink
Nos clients disent :
Ajouter à votre liste de souhaits iMusic
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
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 1 septembre 2001 |
| ISBN13 | 9781575863443 |
| Éditeurs | Centre for the Study of Language & Infor |
| Pages | 286 |
| Dimensions | 150 × 220 × 10 mm · 397 g |
| Langue et grammaire | Anglais |
Plus d'ouvrages du même éditeur
![Cover for Julius M. Moravcsik · Meaning, Creativity, and the Partial Inscrutability of the Human Mind - Lecture Notes (Paperback Book) [2 Enlarged edition] (2017)](https://imusic.b-cdn.net/images/item/original/808/9781575864808.jpg?julius-m-moravcsik-2017-meaning-creativity-and-the-partial-inscrutability-of-the-human-mind-lecture-notes-paperback-book&class=scaled&v=1608788655)
![Cover for David Barker-Plummer · Language, Proof, and Logic: Second Edition (Paperback Book) [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-book&class=scaled&v=1404323202)
![Cover for Donald E. Knuth · Things a Computer Scientist Rarely Talks About - Lecture Notes (Paperback Book) [New edition] (2003)](https://imusic.b-cdn.net/images/item/original/269/9781575863269.jpg?donald-e-knuth-2003-things-a-computer-scientist-rarely-talks-about-lecture-notes-paperback-book&class=scaled&v=1426459344)
![Cover for Grammatical Interfaces in HPSG - Studies in Constraint-Based Lexicalism (Paperback Book) [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-book&class=scaled&v=1775027599)
Voir tous les Chris Brink ( par ex. Paperback Book , Book et Hardcover Book )