Skip to content

Predicate calculus and program semantics

by Edsger Wybe Dijkstra

Cover of Predicate calculus and program semantics

No description available.

Predicate calculusProgramming languages (Electronic computers)Semantics