Domains and Lambda-Calculi
Book Details
Format
Paperback / Softback
Book Series
Cambridge Tracts in Theoretical Computer Science
ISBN-10
0521062926
ISBN-13
9780521062923
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
May 15th, 2008
Print length
504 Pages
Weight
746 grams
Dimensions
22.80 x 15.40 x 3.00 cms
Product Classification:
Mathematical logicMathematical theory of computation
AI Summary
Ksh 10,850.00
Manufactured on Demand
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.
Get Domains and Lambda-Calculi by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.
Discover books you might love based on this title.
More in This Genre
Automata and Computability
Ksh 9,000.00
An Introduction to Naive Set Theory and Its Applications
Ksh 9,000.00
High Performance Computing in Science and Engineering '19
Ksh 25,200.00
Pattern Recognition
Ksh 8,100.00
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning
Ksh 90,200.00
Formal Geometry and Bordism Operations
Ksh 14,950.00
