Predicate calculus and program semanticsde Edsger Wybe DijkstraMateriasPredicate calculusProgramming languages (Electronic computers)SemanticsEdiciones (1)Predicate calculus and program semantics (1990)Springer-Verlag · inglésMás obras de Edsger Wybe DijkstraPredicate calculus and program semanticsTTable of Everett's interpolation coefficientsTable of Everett's interpolation coefficientsA primer of Algol 60 programming