Search Results - Gries, David

David Gries

David Gries in 2022 David Gries (born April 26, 1939) is an American computer scientist at Cornell University, mainly known for his books ''The Science of Programming'' (1981) and ''A Logical Approach to Discrete Math'' (1993, with Fred B. Schneider).

He was associate dean for undergraduate programs at the Cornell University College of Engineering from 2003–2011. His research interests include programming methodology and related areas such as programming languages, related semantics, and logic. His son, Paul Gries, has been a co-author of an introductory textbook to computer programming using the language Python and is a teaching stream professor in the Department of Computer Science at the University of Toronto. Provided by Wikipedia
  • Showing 1 - 3 results of 3
Refine Results
  1. 1

    A Logical Approach to Discrete Math by Gries, David

    Published 1993
    Full text (MFA users only)
    Electronic eBook
  2. 2

    Refinement Calculus : a Systematic Introduction. by Back, Ralph-Johan

    Published 1998
    Other Authors: “…Gries, David…”
    Full text (MFA users only)
    Electronic eBook
  3. 3

    Automata and Computability. by Kozen, Dexter, 1951-

    Published 1997
    Other Authors: “…Gries, David…”
    Full text (MFA users only)
    Electronic eBook