Treffer 1 – 6 von 6 für Suche 'Klein, Gerwin', 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
    Concrete Semantics With Isabelle/HOL

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

    Veröffentlicht 2014
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Verified Java bytecode verification

    Verified Java bytecode verification von Klein, Gerwin 1975-

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Verified Java bytecode verification

    Verified Java bytecode verification von Klein, Gerwin

    Veröffentlicht 2003
    Elektronisch E-Book Fernleihe Bestellen


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

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

    Veröffentlicht 2014
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2014
    Weitere Verfasser: “… Klein, Gerwin 1975- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2014
    Weitere Verfasser: “… Klein, Gerwin 1975- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: