Predicate Calculus and Program Semantics by Edsger W. Dijkstra (English) Paperba
96,81 €
By Edsger W. Dijkstra, Carel S. Scholten. This little monograph is a result of that work. A possible -and even likely- criticism is that anyone sufficiently versed in lattice theory can easily derive all of our results himself.
Jetzt bei Ebay:
