1 Ebooks tarafından Ernest G. Manes
Michael A. Arbib & Ernest G. Manes: Algebraic Approaches to Program Semantics
In the 1930s, mathematical logicians studied the notion of "effective comput- ability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construc …
PDF
İngilizce
DRM
€95.78
