Skip to content

Predicate Calculus and Program Semantics

by Edsger Wybe Dijkstra

Cover of Predicate Calculus and Program Semantics

No description available.

Logic designComputer scienceProgramming languages (electronic computers)