Beschrijving
Mathematical Theory of Program Correctness
Jaco de Bakker
1. 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
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.