PPredicate Calculus and Program SemanticsPredicate Calculus and Program Semanticsde Edsger Wybe Dijkstra, Carel S. ScholtenEdiciones (1)Predicate Calculus and Program Semantics (2011)Springer · ISBN 9781461232292Más obras de Edsger Wybe DijkstraPredicate calculus and program semanticsTTable of Everett's interpolation coefficientsTable of Everett's interpolation coefficients
