Predicate Calculus and Program Semantics by Edsger W. Dijkstra (English) Paperba
95,64 €
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:
