Search Results - He, Jifeng 1943-

  • Showing 1 – 6 results of 6
Filter by
  1. 1
    Cover Image

    Unifying theories of programming
    by Hoare, Charles A. R. 1934-, He, Jifeng 1943-

    Published 1998
    Book


    Saved in:
  2. 2
    Cover Image

    Data refinement in a categorical setting
    by He, Jifeng 1943-, Hoare, Charles A. R. 1934-

    Published 1990
    Book


    Saved in:
  3. 3
    Cover Image

    Provably correct systems: modelling of communication languages and design of optimized compilers
    by He, Jifeng 1943-

    Published 1995
    Book


    Saved in:
  4. 4
    Cover Image

    Rely guarantee method for verifying shared variable concurrent programs
    by Xu, Qiwen, Roever, Willem-Paul de 1943-, He, Jifeng 1943-

    Published 1995
    Book


    Saved in:
  5. 5
    Cover Image

    The weakest prespecification
    by Hoare, Charles A. R. 1934-, He, Jifeng 1943-

    Published 1985
    Book


    Saved in:
  6. 6
    Cover Image

    Algebraic specification and proof of properties of communicating sequential processes
    by Hoare, Charles A. R. 1934-, He, Jifeng 1943-

    Published 1985
    Book


    Saved in:

Search Tools: