wwf
Mathematical Theory of Program Correctness
Mathematical Theory of Program CorrectnessJaco de Bakker1. Introduction
2. Basic concepts
3. While statements
4. Subscripted variables
5. Recursive procedures
6. Blocks
7. Nondeterministic statements
8. Weakest preconditions, strongest postconditions and termination
9. Parameter mechanisms
10. Goto statements
€2,00
0 biedingen
wwf
A Discipline of Programming
A Discipline of ProgrammingEdsger W. Dijkstra0. Executional abstraction
1. The role of programming languages
2. States and their characterization
3. The characterization of semantics
4. The semantic characterization of a programming language
5. Two theorems
6. On the design of properly terminating constructs
7. Euclid's algorithm revisited
8. The formal treatment of some small examples
9. On nondeterminacy being bounded
10. An essay on the notion: "the scope of variables"
11. Array variables
12....
€2,00
1 bod
wwf
Formal Development of Programs and Proofs
Formal Development of Programs and ProofsEdsger W. Dijkstra (Ed.)1. Constructive type theory: a perspective from computing science -
R. C. Backhouse
2. The maximum-segment-sum problem - D. Gries
3. Inorder traversal of a binary tree and its inversion - D. Gries, J. L. van de Snepscheut
4. A hands-in-the pocket presentation of a k-majority vote algorithm -
D. Gries
5. A small problem on rectangles - A. J. van Gasteren
6. On the formal derivation of a proof of the invariance theorem -
A. J. van...
€2,00
0 biedingen
wwf
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer AlgorithmsAlfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman1. Models of Computation
2. Design of Efficient Algorithms
3. Sorting and Order Statistics
4. Data Structures for Set Manipulation Problems
5. Algorithms on Graphs
6. Matrix Multiplication and Related Operations
7. The Fast Fourier Transform and its Applications
8. Integer ond Polynomial Arithmetic
9. Pattern-Matching Algorithms
10. NP-Complete Problems
11. Some Provably Intractable Problems
12. Lo...
€2,00
1 bod
wwf
Beyond Calculation - The Next Fifty Years of Computing
Beyond Calculation - The Next Fifty Years of ComputingPeter J. Denning, Robert M. MetcalfePart I: The Coming Revolution
Part II: Computers and Human Identity
Part III: Business and Innovation
€2,00
0 biedingen
wwf
Logic Machines and Diagrams
Logic Machines and DiagramsMartin Gardner1. The Ars Magna of Ramon Lull
2. Logic Diagrams
3. A Network Diagram for the Propositional Calculus
4. The Stanhope Demonstrator
5. Jevon's Logic Machine
6. Marquand's Machine and Others
7. Window Cards
8. Early Electrical Machines
9. Machine Intelligence
€2,00
1 bod
wwf
Mathematische Unterhaltungen und Spiele - mit dem programmierbaren Taschenrechner
Mathematische Unterhaltungen und Spiele - mit dem programmierbaren TaschenrechnerHans Heinrich Gloistehn1. Würfelspiele
2. Diophantische Probleme
3. Ratespiele
4. Einige Probleme aus der numerischen Mathematik
5. Einige Probleme mit Zufallszahlen
6. Zahlen- und Anordnungsspiele
7. Der Taschenrechner als 'Simulant'
€2,00
0 biedingen
wwf
Mathematica
MathematicaNancy BlachmanI. Inleiding tot Mathematica
II. Programmeren
III. Appendices
€2,00
0 biedingen
wwf
The Science of Programming
The Science of ProgrammingDavid GriesWhy Use Logic? Why Prove Programs Correct?
Part I: Propositions and Predicates
1. Propositions
2. Reasoning using Equivalence Transformations
3. A Natural Deduction System
4. Predicates
5. Notations and Conventions for Arrays
6. Using Assertions To Document Programs
Part II: The Semantics of a Small Language
7. The Predicate Transformer wp
8. The Commands skip, abort and Composition
9. The Assignment Command
10. The Alternative Command
11. The Iterative Comm...
€2,00
0 biedingen
wwf
Go To - Software superheroes from Fortran to the internet age
Go To - Software superheroes from Fortran to the internet ageSteve Lohr1. Introduction: The Rise of Software and the Programming Art
2. FORTRAN: The Early "Turning Point"
3. The Hard Lesson of the Sixties: From Exuberance to the Realities of COBOL and the IBM 360 Project
4. Breaking Big Iron's Grip: Unix and C
5. Programming for the Millions: The BASIC Story from Dartmouth to Visual Basic
6. The European Influence: From Algol to Pascal to C++
7. A Computer of My Own: The Beginning of the PC Indu...
€2,00
0 biedingen