Showing 1 - 9 results of 9 for search 'Reif, Wolfgang 1960-', query time: 0.04s 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
    Reuse of proofs in software verification preliminary version

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

    Published 1992
    Book Interlibrary loan Place Request


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

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

    Published 1992
    Book Interlibrary loan Place Request


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

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

    Published 1986
    Book Interlibrary loan Place Request


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

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

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    An abstract PPL-machine

    An abstract PPL-machine by Reif, Wolfgang 1960-

    Published 1986
    Book Interlibrary loan Place Request


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

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

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    An abstract PPL-machine

    An abstract PPL-machine by Reif, Wolfgang 1960-

    Published 1986
    Book Interlibrary loan Place Request


    Saved 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

    Published 2017
    Other Authors:
    Get full text
    Book Interlibrary loan Place Request


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

    Trustworthy open self-organising systems

    Published 2016
    Other Authors: “…Reif, Wolfgang 1960-…”
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:

Search Tools: