Predicate Calculus and Program Semantics (Monographs in Computer Science)

by E. Dijkstra

Blurb

Member Reviews Write your own review

Be the first person to review

Log in to comment