A Science of Operations: Machines, Logic and the Invention of Programming - Couverture souple
Livre 3 sur 22: History of Computing
Synopsis
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
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
