A Science of Operations: Machines, Logic and the Invention of Programming - Softcover
Buch 3 von 22: History of Computing
Inhaltsangabe
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
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
