Suggested Topics within your search.

Richard Bornat

Bornat in 2005 Richard Bornat (born 1944) is a British author and researcher in the field of computer science. He is also professor of Computer programming at Middlesex University. Previously he was at Queen Mary, University of London. Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'Bornat, Richard, 1944-'
query time: 0.01s Refine Results
  1. 1
    Proof and disproof in formal logic : an introduction for programmers /
    by Bornat, Richard, 1944-
    Published 2005
    Book

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search