Treffer 1 – 4 von 4 für Suche 'Tiuryn, Jerzey', Suchdauer: 0,03s 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
    A note on equivalences among logics of programs

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

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Process algebra semantics for queues

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

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: