A Paradigm for Program Semantics: Power Structures and Duality (Stanford Monographs in Linguistics)

A Paradigm for Program Semantics: Power Structures and Duality (Stanford Monographs in Linguistics)

By: Ingrid M. Rewitsky (author), C. Brink (author)Hardback

1 - 2 weeks availability

Description

This book provides a synthesis of four versions of programme semantics - relational semantics, predicate transformer semantics, information systems, and domain theory - showing that it is possible to do back-and-forth translation from any of these versions of programme semantics into any of the others.

Create a review

Product Details

  • publication date: 24/01/2002
  • ISBN13: 9781575863450
  • Format: Hardback
  • Number Of Pages: 286
  • ID: 9781575863450
  • weight: 494
  • ISBN10: 1575863456

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly

Close