Beschreibung
InhaltsangabeIntroductionBabbage's EnginesSemi-automatic ComputingLogic, Computability and Formal SystemsAutomating ControlLogic and the Invention of the ComputerMachine Code Programming and LogicThe Invention of Programming LanguagesThe Algol Research ProgrammeThe Logic of Correctness in Software EngineeringThe Unification of Data and AlgorithmsConclusions
Produktsicherheitsverordnung
Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg
Autorenportrait
InhaltsangabeIntroductionBabbage's EnginesSemi-automatic ComputingLogic, Computability and Formal SystemsAutomating ControlLogic and the Invention of the ComputerMachine Code Programming and LogicThe Invention of Programming LanguagesThe Algol Research ProgrammeThe Logic of Correctness in Software EngineeringThe Unification of Data and AlgorithmsConclusions
