Treffer 1 – 7 von 7 für Suche 'He, Jifeng 1943-', Suchdauer: 0,06s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Mathematical frameworks for component software : models for analysis and synthesis /

    Mathematical frameworks for component software : models for analysis and synthesis /

    Veröffentlicht 2006
    Weitere Verfasser: “… He, Jifeng, 1943- …”
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Unifying theories of programming

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

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    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 Fernleihe Bestellen


    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 Fernleihe Bestellen


    Gespeichert in:
  5. 5
    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 Fernleihe Bestellen


    Gespeichert in:
  6. 6
    The weakest prespecification

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

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    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 Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: