Search Results - Xu, Qiwen

  • Showing 1 – 3 results of 3
Filter by
  1. 1
    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:
  2. 2
    Cover Image

    Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

    Published 2023
    Other Authors: “…Xu, Qiwen…”
    Read online
    Electronic eBook


    Saved in:
  3. 3
    Cover Image

    Theories of programming and formal methods: essays dedicated to Jifeng He on the occasion of his 80th birthday

    Published 2023
    Other Authors: “…Xu, Qiwen…”
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: