Mathematical Theory of Domains Contributor(s): Stoltenberg-Hansen, Viggo (Author), Lindstrom, Ingrid (Author), Griffor, Edward R. (Author) |
|
![]() |
ISBN: 0521064791 ISBN-13: 9780521064798 Publisher: Cambridge University Press OUR PRICE: $74.09 Product Type: Paperback - Other Formats Published: June 2008 Annotation: Introductory textbook/general reference in domain theory for professionals in computer science and logic. |
Additional Information |
BISAC Categories: - Computers | Programming Languages - General - Computers | Software Development & Engineering - General - Mathematics | Logic |
Dewey: 511.3 |
Series: Cambridge Tracts in Theoretical Computer Science (Paperback) |
Physical Information: 0.75" H x 6.69" W x 9.61" (1.28 lbs) 364 pages |
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. |