Today, computers fulfil a dazzling array of roles, a flexibility resulting from the great range of programs that can be run on them. A Science of Operations examines the history of what we now call programming, defined not simply as computer programming, but more broadly as the definition of the steps involved in computations and other information-processing activities.
Introduction Babbage's Engines Semi-automatic Computing Logic, Computability and Formal Systems Automating Control Logic and the Invention of the Computer Machine Code Programming and Logic The Invention of Programming Languages The Algol Research Programme The Logic of Correctness in Software Engineering The Unification of Data and Algorithms Conclusions
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.