Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science)

0 avg rating
( 0 ratings by Goodreads )
 
9780521064798: Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science)
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

Book Description:

This book is devoted to providing an accessible, unified and self-contained introduction to domain theory. It can be, and has been, used as an introductory textbook or as a general reference for professionals in computer science and logic.

Review:

"...a valuable introductory book which will be useful as a textbook for students in computer science or logic, or as a general reference." Alessandro Berarducci, Mathematical Reviews

"...thoroughly recommended for anyone interested in computability." Steven Vickers, The Computer Journal

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 74.99
US$ 66.67

Convert currency

Shipping: US$ 5.14
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to Basket

Other Popular Editions of the Same Title

9780521383448: Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science)

Featured Edition

ISBN 10:  0521383447 ISBN 13:  9780521383448
Publisher: Cambridge University Press, 1994
Hardcover

Top Search Results from the AbeBooks Marketplace

1.

Stoltenberg-Hansen, Viggo
Published by Cambridge University Press (2016)
ISBN 10: 0521064791 ISBN 13: 9780521064798
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Cambridge University Press, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9780521064798_lsuk

More information about this seller | Contact this seller

Buy New
US$ 66.67
Convert currency

Add to Basket

Shipping: US$ 5.14
From United Kingdom to U.S.A.
Destination, rates & speeds

2.

I. Lindstrom, Viggo Stoltenberg-Hansen, E. R. Griffor
Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2008)
ISBN 10: 0521064791 ISBN 13: 9780521064798
New Paperback Quantity Available: 10
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2008. Paperback. Condition: New. Language: English. Brand new Book. Domain theory is an established part of theoretical computer science, used in giving semantics to programming languages and logics. In mathematics and logic it has also proved to be useful in the study of algorithms. This book is devoted to providing a unified and self-contained treatment of the subject. The theory is presented in a mathematically precise manner which nevertheless is accessible to mathematicians and computer scientists alike. The authors begin with the basic theory including domain equations, various domain representations and universal domains. They then proceed to more specialized topics such as effective and power domains, models of lambda-calculus and so on. In particular, the connections with ultrametric spaces and the Kleene-Kreisel continuous functionals are made precise. Consequently the text will be useful as an introductory textbook (earlier versions have been class-tested in Uppsala, Gothenburg, Passau, Munich and Swansea), or as a general reference for professionals in computer science and logic. Seller Inventory # AAV9780521064798

More information about this seller | Contact this seller

Buy New
US$ 74.28
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

3.

Stoltenberg-Hansen, V.
Published by Cambridge University Press (2008)
ISBN 10: 0521064791 ISBN 13: 9780521064798
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2008. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780521064798

More information about this seller | Contact this seller

Buy New
US$ 71.31
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

4.

Viggo Stoltenberg-Hansen, I. Lindstrom, E. R. Griffor
Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2008)
ISBN 10: 0521064791 ISBN 13: 9780521064798
New Paperback Quantity Available: 10
Print on Demand
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2008. Paperback. Condition: New. Language: English . Brand New Book ***** Print on Demand *****.Domain theory is an established part of theoretical computer science, used in giving semantics to programming languages and logics. In mathematics and logic it has also proved to be useful in the study of algorithms. This book is devoted to providing a unified and self-contained treatment of the subject. The theory is presented in a mathematically precise manner which nevertheless is accessible to mathematicians and computer scientists alike. The authors begin with the basic theory including domain equations, various domain representations and universal domains. They then proceed to more specialized topics such as effective and power domains, models of lambda-calculus and so on. In particular, the connections with ultrametric spaces and the Kleene-Kreisel continuous functionals are made precise. Consequently the text will be useful as an introductory textbook (earlier versions have been class-tested in Uppsala, Gothenburg, Passau, Munich and Swansea), or as a general reference for professionals in computer science and logic. Seller Inventory # AAV9780521064798

More information about this seller | Contact this seller

Buy New
US$ 77.25
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

Stoltenberg-Hansen, V.
Published by Cambridge University Press (2008)
ISBN 10: 0521064791 ISBN 13: 9780521064798
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Cambridge University Press, 2008. PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9780521064798

More information about this seller | Contact this seller

Buy New
US$ 68.33
Convert currency

Add to Basket

Shipping: US$ 11.94
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

V. Stoltenberg-Hansen; I. Lindström; E. R. Griffor
Published by Cambridge University Press (2008)
ISBN 10: 0521064791 ISBN 13: 9780521064798
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2008. Paperback. Condition: New. Seller Inventory # SONG0521064791

More information about this seller | Contact this seller

Buy New
US$ 77.31
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

7.

V. STOLTENBERG-HANSEN , I. LINDSTRÃ M , E. R. GRIFFOR
ISBN 10: 0521064791 ISBN 13: 9780521064798
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description 2008. Paperback. Condition: NEW. 9780521064798 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0443255

More information about this seller | Contact this seller

Buy New
US$ 74.58
Convert currency

Add to Basket

Shipping: US$ 10.59
From United Kingdom to U.S.A.
Destination, rates & speeds

8.

Stoltenberg-hansen, V./ Lindstrom, I./ Griffor, E. R.
Published by Cambridge Univ Pr (2008)
ISBN 10: 0521064791 ISBN 13: 9780521064798
New Paperback Quantity Available: 1
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Cambridge Univ Pr, 2008. Paperback. Condition: Brand New. 1st edition. 361 pages. 9.40x6.60x1.00 inches. In Stock. Seller Inventory # __0521064791

More information about this seller | Contact this seller

Buy New
US$ 77.01
Convert currency

Add to Basket

Shipping: US$ 9.95
From United Kingdom to U.S.A.
Destination, rates & speeds

9.

V. Stoltenberg-Hansen, I. Lindström, E. R. Griffor
Published by Cambridge University Press (2008)
ISBN 10: 0521064791 ISBN 13: 9780521064798
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2008. Paperback. Condition: New. 1. Seller Inventory # DADAX0521064791

More information about this seller | Contact this seller

Buy New
US$ 94.49
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

10.

V. Stoltenberg-Hansen; I. Lindström; E. R. Griffor
Published by Cambridge University Press (2008)
ISBN 10: 0521064791 ISBN 13: 9780521064798
New Softcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2008. Condition: New. book. Seller Inventory # M0521064791

More information about this seller | Contact this seller

Buy New
US$ 119.61
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book