Mathematical Theory of Domains
- Paperback
Series: Cambridge Tracts in Theoretical Computer Science(No.
22)
- ISBN:9780521064798
- Publication date:June 2008
- 364pages
- 150 exercises
- Dimensions: 244 x 170 mm
- Weight: 0.58kg
- (Z)
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.
