Treffer 1 – 3 von 3 für Suche 'Josko, Bernhard Rudolf Martin Maria', 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
    Modelchecking of CTL formulae under liveness assumptions

    Modelchecking of CTL formulae under liveness assumptions von Josko, Bernhard Rudolf Martin Maria

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Über einen Hoare-Kalkül für Algol-ähnliche Programmiersprachen mit Prozeduren endlicher Art

    Über einen Hoare-Kalkül für Algol-ähnliche Programmiersprachen mit Prozeduren endlicher Art von Josko, Bernhard Rudolf Martin Maria

    Veröffentlicht 1985
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A Hoare-calculus for Algol-like programming languages with finite mode procedures without global variables

    A Hoare-calculus for Algol-like programming languages with finite mode procedures without global variables von Josko, Bernhard Rudolf Martin Maria

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: