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 - 9 results of 9 for search 'Bornat, Richard', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Proof and disproof in formal logic : an introduction for programmers /

    Proof and disproof in formal logic : an introduction for programmers / by Bornat, Richard, 1944-

    Published 2005
    Get full text
    Electronic eBook


    Saved in:
  2. 2
    Proof and disproof in formal logic an introduction for programmers

    Proof and disproof in formal logic an introduction for programmers by Bornat, Richard

    Published 2005
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Understanding and writing compiles a do-it-yourself guide

    Understanding and writing compiles a do-it-yourself guide by Bornat, Richard

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Proof and disproof in formal logic an introduction for programmers

    Proof and disproof in formal logic an introduction for programmers by Bornat, Richard

    Published 2005
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  5. 5
    Understanding and writing compilers a do-it-yourself guide

    Understanding and writing compilers a do-it-yourself guide by Bornat, Richard

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Understanding and writing compilers a do-it-yourself guide

    Understanding and writing compilers a do-it-yourself guide by Bornat, Richard

    Published 1979
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Programming from first principles

    Programming from first principles by Bornat, Richard

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Understanding and writing compilers a do-it-yourself guide

    Understanding and writing compilers a do-it-yourself guide by Bornat, Richard

    Published 1984
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Understanding and Writing Compilers A do-it-yourself guide

    Understanding and Writing Compilers A do-it-yourself guide by Bornat, Richard

    Published 1979
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:

Search Tools: