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
Advances in Computational Mathematics
Ksh 36,000.00
The Design and Analysis of Parallel Algorithms
Ksh 26,750.00
Logic, Language, and Computation
Ksh 8,100.00
Fundamentals of Software Engineering
Ksh 8,100.00
Complexity, Logic, and Recursion Theory
Ksh 47,700.00
Cryptography and Network Security
Ksh 21,600.00
