3 ms·
Dijkstra and Scholten's Predicate Calculus and Program Semantics is a good textbook on the subject. Dijkstra's a Discipline of Programming is much more informal
by User23 10y ago
Dijkstra and Scholten's Predicate Calculus and Program Semantics is a good textbook on the subject. Dijkstra's a Discipline of Programming is much more informal, but I find it more readable and it has a number of good examples.
- undershirt 10y agoThis is probably difficult to explain without proper context, but could I ask you for a summary? (Thanks for the book references.)