Beschrijving
Formal Development of Programs and Proofs
Edsger 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 Gasteren
7. A problem on bichrome 6-graphs - A. J. van Gasteren
8. Formal program transformations for VLSI circuit synthesis - A. J. Martin
9. Programs from specifications - J. M. Morris
10. Piecewise data refinement - J. M. Morris
11. Exercises in formula manipulation - W. H. Feijen
12. Multiplication and division of polynomials - M. Rem
13. A parallel program that generates the Möbius sequence - M. Rem,T. Verhoeff
14. Distribution and inversion of Warshall's algorithm - J. L. van de Snepscheut
15. A distributed algorithm for mutual exclusion: an experiment in presentation - J. L. van de Snepscheut
16. The derivation of a proof - J. S. van de Woude, Edsger W. Dijkstra
17. Fillers at the YoP Institute - Edsger W. Dijkstra
18. Influences (or lack thereof) of formalism in teaching programming and software engineering - D. Gries
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.