Showing 1 - 6 results of 6 for search 'Klein, Gerwin', query time: 0.02s 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
    Concrete Semantics With Isabelle/HOL

    Concrete Semantics With Isabelle/HOL by Nipkow, Tobias, Klein, Gerwin

    Published 2014
    Get full text
    Electronic eBook


    Saved in:
  2. 2
    Verified Java bytecode verification

    Verified Java bytecode verification by Klein, Gerwin 1975-

    Published 2002
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Verified Java bytecode verification

    Verified Java bytecode verification by Klein, Gerwin

    Published 2003
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    Concrete semantics with Isabelle/HOL

    Concrete semantics with Isabelle/HOL by Nipkow, Tobias 1958-, Klein, Gerwin 1975-

    Published 2014
    Get full text
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Interactive theorem proving 5th International Conference, ITP 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 : proceedings

    Interactive theorem proving 5th International Conference, ITP 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 : proceedings

    Published 2014
    Other Authors: “…Klein, Gerwin 1975-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Interactive theorem proving 5th International Conference, ITP 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 : proceedings

    Interactive theorem proving 5th International Conference, ITP 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014 : proceedings

    Published 2014
    Other Authors: “…Klein, Gerwin 1975-…”
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:

Search Tools: