Showing 1 - 4 results of 4 for search 'Tiuryn, Jerzey', query time: 0.02s 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
    A note on equivalences among logics of programs

    A note on equivalences among logics of programs by Meyer, Albert R., Tiuryn, Jerzey

    Published 1981
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Process algebra semantics for queues

    Process algebra semantics for queues by Bergstra, Jan A. 1951-, Tiuryn, Jerzey

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Hoare's logic is not complete when it could be

    Hoare's logic is not complete when it could be by Bergstra, Jan A. 1951-, Chmielinska, A., Tiuryn, Jerzey

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    A survey of the logic of effective definitions

    A survey of the logic of effective definitions by Tiuryn, Jerzey

    Published 1980
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: