Showing 1 - 10 results of 10 for search 'Backhouse, Roland C.', query time: 0.07s 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
    Programmkonstruktion und Verifikation

    Programmkonstruktion und Verifikation by Backhouse, Roland C. 1948-

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Program construction calculating implementations from specifications

    Program construction calculating implementations from specifications by Backhouse, Roland C. 1948-

    Published 2003
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Program construction and verification

    Program construction and verification by Backhouse, Roland C. 1948-

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Program construction and verification

    Program construction and verification by Backhouse, Roland C. 1948-

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Programmkonstruktion und Verifikation

    Programmkonstruktion und Verifikation by Backhouse, Roland C. 1948-

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Program Construction and verification

    Program Construction and verification by Backhouse, Roland C. 1948-

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Specification and proof of a regular language recogniser in synchronous CCS

    Specification and proof of a regular language recogniser in synchronous CCS by Backhouse, Roland C.

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Syntax of programming languages theory and practice

    Syntax of programming languages theory and practice by Backhouse, Roland C.

    Published 1979
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Datatype-generic programming International Spring School, SSDGP 2006, Nottingham, UK, April 24 - 27, 2006 ; revised lectures

    Datatype-generic programming International Spring School, SSDGP 2006, Nottingham, UK, April 24 - 27, 2006 ; revised lectures

    Published 2007
    Other Authors: “…Backhouse, Roland C.…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Datatype-generic programming International Spring School, SSDGP 2006, Nottingham, UK, April 24 - 27, 2006 ; revised lectures

    Datatype-generic programming International Spring School, SSDGP 2006, Nottingham, UK, April 24 - 27, 2006 ; revised lectures

    Published 2007
    Other Authors: “…Backhouse, Roland C.…”
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:

Search Tools: