by: Edsger W. Dijkstra · Carel S. Scholten
Hardcover
ISBN: 978-0-387-96957-2
ISBN-10: 0-387-96957-8
Springer · 1989
|
|
by: Edsger W. Dijkstra · Carel S. ScholtenHardcover
ISBN: 978-0-387-96957-2 ISBN-10: 0-387-96957-8 Springer · 1989 |
| See also: | ||
| 1990 | Gebundene Ausgabe | Predicate Calculus and Program Semantics (Monographs in Computer Science) |