Skip to content
Cover of Predicate calculus and program semantics

Predicate calculus and program semantics

by Edsger Wybe Dijkstra

Predicate calculusProgramming languages (Electronic computers)Semantics
Writing a summary for young readers…

For young readers

Book data: Open Library