ENGLISH

Mathematical Theory of Domains

By Griffor E.R. , Stoltenberg-Hansen V. , Lindstrom I.

Book information

Publisher
Cambridge University Press
Year
1994
ISBN
978-0-521-38344-8, 978-0-521-06479-8
Language
english
Format
DJVU
Filesize
3 MB (3109047 bytes)
Series
Cambridge Tracts in Theoretical Computer Science
Pages
361\361
Library
Kolxo3
DPI
300
Time added
2013-12-29 19:00:00

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

Similar books