A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information - Chris Brink - Books - Centre for the Study of Language & Infor - 9781575863443 - September 1, 2001
In case cover and title do not match, the title is correct

Chris Brink
A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information 1st edition

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 1, 2001
ISBN13 9781575863443
Publishers Centre for the Study of Language & Infor
Pages 286
Dimensions 150 × 220 × 10 mm   ·   397 g
Language English  

More by Chris Brink

Show all

Mere med samme udgiver

See all of Chris Brink ( e.g. Paperback Book and Hardcover Book )