Treffer 1 – 9 von 9 für Suche 'Reif, Wolfgang 1960-', Suchdauer: 0,02s 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
    Reuse of proofs in software verification preliminary version

    Reuse of proofs in software verification preliminary version von Reif, Wolfgang 1960-, Stenzel, Kurt 1967-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Reuse of proofs on software verification

    Reuse of proofs on software verification von Reif, Wolfgang 1960-, Stenzel, Kurt 1967-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A functional language to construct proofs

    A functional language to construct proofs von Heisel, M., Reif, Wolfgang 1960-, Stephan, Werner

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Korrektheit von Spezifikationen und generischen Moduln

    Korrektheit von Spezifikationen und generischen Moduln von Reif, Wolfgang 1960-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    An abstract PPL-machine

    An abstract PPL-machine von Reif, Wolfgang 1960-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A functional language to construct proofs

    A functional language to construct proofs von Heisel, M., Reif, Wolfgang 1960-, Stephan, W.

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    An abstract PPL-machine

    An abstract PPL-machine von Reif, Wolfgang 1960-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Wissenschaft und Kreativität eine Selbstvergewisserung : gewidmet Sabine Doering-Manteuffel zum 60. Geburtstag

    Wissenschaft und Kreativität eine Selbstvergewisserung : gewidmet Sabine Doering-Manteuffel zum 60. Geburtstag

    Veröffentlicht 2017
    Weitere Verfasser:
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Trustworthy open self-organising systems

    Trustworthy open self-organising systems

    Veröffentlicht 2016
    Weitere Verfasser: “… Reif, Wolfgang 1960- …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: