A Science of Operations: Machines, Logic and the Invention of Programming - Tapa blanda
Libro 3 de 22: History of Computing
Sinopsis
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
"Sinopsis" puede pertenecer a otra edición de este libro.
