Predicate Calculus and Program Semantics (Texts and Monographs in Computer Science)

by E. Dijkstra

Blurb

Member Reviews Write your own review

Be the first person to review

Log in to comment