Predicate Calculus and Program Semantics (Monographs in Computer Science)

von: Edsger W. Dijkstra · Carel S. Scholten

Gebunden

ISBN-13: 978-3-540-96957-0

ISBN-10: 3-540-96957-8

Springer Berlin · 1990

S. auch:
1989HardcoverPredicate Calculus and Program Semantics (Monographs in Computer Science)