Predicate Calculus and Program Semanticsde Edsger Wybe DijkstraMateriasLogic designComputer scienceProgramming languages (electronic computers)Ediciones (1)Predicate Calculus and Program Semantics (1990)Springer New York · inglés · ISBN 9781461279242Má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