899:-
Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.
Andra format:
- Pocket/Paperback 489:-
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.
- Format: Inbunden
- ISBN: 9781575863450
- Språk: Engelska
- Antal sidor: 286
- Utgivningsdatum: 2001-09-01
- Förlag: Centre for the Study of Language & Information