Algebraic Approaches to Program Semantics by Ernest G. Manes (English) Paperback
109,12 €
In the 1930s, mathematical logicians studied the notion of "effective comput ability" using such notions as recursive functions, A-calculus, and Turing machines. This book is an introduction to denotational semantics.
Jetzt bei Ebay:
