Showing 1 - 1 results of 1 for search 'Waldinger, Richard', query time: 0.01s Refine Results
  1. 1

    The deductive foundations of computer programming a one-volume version of the logical basis for computer programming by Manna, Zohar

    Published 1993
    Book

    The deductive foundations of computer programming a one-volume version of the logical basis for computer programming

Search Tools: