Mathematical Theory of Domains Contributor(s): Stoltenberg-Hansen, V. (Author), Lindström, I. (Author), Griffor, E. R. (Author) |
|
ISBN: 1139166387 ISBN-13: 9781139166386 Publisher: Cambridge University Press OUR PRICE: $494.00 Product Type: Open Ebook - Other Formats Published: June 2012 |
Additional Information |
BISAC Categories: - Computers | Programming Languages - General |
Dewey: 511.3 |
Series: Cambridge Tracts in Theoretical Computer Science |
Descriptions, Reviews, Etc. |
Publisher Description: Domain theory is the mathematical framework that is used to model the semantics of computer programs and the theory of computation. This is the first book on the subject that attempts to provide a rigorous introduction to the topic in a manner accessible to computer scientists by motivating the mathematics with computer science examples. |