This book provides a synthesis of four versions of program
semantic--srelational semantics, predicate transformer semantics,
information systems, and domain theory--showing, through an
exhaustive case study analysis, that it is possible to do
back-and-forth translation from any of these versions of program
semantics into any of the others, and demonstrating that while
there are many variations of each, in principle they may be thought
of as intertranslatable.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!