DaftarIsitemplate

Call Number

511.3 Dij p

Title

Predicate calculus and program semantics

Author

Dijkstra, Edger Wybe;

Publisher

London: Springer-Verlag, 1990

Subject

Pridicate calculus; Programming languages (electronic computers)-semantics

Location

FASILKOM-UI;