Treffer 1 - 6 von 6 für Suche 'He, Jifeng 1943-', Suchdauer: 0,23s Treffer weiter einschränken
  1. 1
    Unifying theories of programming

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

    Veröffentlicht 1998
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Data refinement in a categorical setting

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

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Rely guarantee method for verifying shared variable concurrent programs

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

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Provably correct systems modelling of communication languages and design of optimized compilers

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

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    The weakest prespecification

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

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Algebraic specification and proof of properties of communicating sequential processes

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

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: