Treffer 1 – 4 von 4 für Suche 'Sengler, Claus', Suchdauer: 0,01s 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
    Induction on non-freely generated data types

    Induction on non-freely generated data types von Sengler, Claus

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Analogical transfer of verification proofs for state-based specifications

    Analogical transfer of verification proofs for state-based specifications von Melis, Erica, Sengler, Claus

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Induction on non-freely generated data types

    Induction on non-freely generated data types von Sengler, Claus

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Case studies of non-freely generated data types

    Case studies of non-freely generated data types von Sengler, Claus

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: