

Beschreibung
A collection of contributions on programming theory in computer science and mathematics, celebrating the work of Edsger W. Dijkstra. Inhalt 0 Proving Termination of Parallel Programs.- 1 On a Relation on Functions.- 2 Efficient Solution of a Non-Monotonic Inve...