Priestley, Mark
A Science of Operations
1. Introduction
Mark Priestley
2. Babbage’s Engines
Mark Priestley
3. Semi-Automatic Computing
Mark Priestley
4. Logic, Computability and Formal Systems
Mark Priestley
5. Automating Control
Mark Priestley
6. Logic and the Invention of the Computer
Mark Priestley
7. Machine Code Programming and Logic
Mark Priestley
8. The Invention of Programming Languages
Mark Priestley
9. The Algol Research Programme
Mark Priestley
10. The Logic of Correctness in Software Engineering
Mark Priestley
11. The Unification of Data and Algorithms
Mark Priestley
12. Conclusions
Mark Priestley
Keywords: Computer Science, History of Computing
- Author(s)
- Priestley, Mark
- Publisher
- Springer
- Publication year
- 2011
- Language
- en
- Edition
- 1
- Series
- History of Computing
- Page amount
- 9 pages
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9781848825550