Treffer 1 – 18 von 18 für Suche 'Nipkow, Tobias', Suchdauer: 0,04s 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
    Software safety and security : tools for analysis and verification /

    Software safety and security : tools for analysis and verification /

    Veröffentlicht 2012
    Weitere Verfasser: “… Nipkow, Tobias, 1958- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Formal logical methods for system security and correctness /

    Formal logical methods for system security and correctness /

    Veröffentlicht 2008
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Functional algorithms, verified!

    Functional algorithms, verified! von Nipkow, Tobias 1958-, Blanchette, Jasmin

    Veröffentlicht 2021
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    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:
  6. 6
    Isabelle, HOL a proof assistant for higher-order logic

    Isabelle, HOL a proof assistant for higher-order logic von Nipkow, Tobias 1958-, Paulson, Lawrence C., Wenzel, Markus

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Higher-order rewrite systems and their confluence

    Higher-order rewrite systems and their confluence von Mayr, Richard, Nipkow, Tobias 1958-

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Formal verification of data type refinement theory and practice

    Formal verification of data type refinement theory and practice von Nipkow, Tobias 1958-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Non-deterministic data types models and implementations

    Non-deterministic data types models and implementations von Nipkow, Tobias 1958-

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Isabelle, HOL a proof assistant for higher-order logic

    Isabelle, HOL a proof assistant for higher-order logic von Nipkow, Tobias 1958-, Paulson, Lawrence C., Wenzel, Markus

    Veröffentlicht 2002
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Term rewriting and all that

    Term rewriting and all that von Baader, Franz 1959-, Nipkow, Tobias 1958-

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Higher order rewrite systems and their confluence

    Higher order rewrite systems and their confluence von Mayr, Richard, Nipkow, Tobias 1958-

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Ordered rewriting and confluence

    Ordered rewriting and confluence von Martin, Ursula, Nipkow, Tobias 1958-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Term rewriting and all that

    Term rewriting and all that von Baader, Franz 1959-, Nipkow, Tobias 1958-

    Veröffentlicht 2009
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Term rewriting and all that

    Term rewriting and all that von Baader, Franz 1959-, Nipkow, Tobias 1958-

    Veröffentlicht 1999
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Type classes and overloading resolution via order-sorted unification

    Type classes and overloading resolution via order-sorted unification von Nipkow, Tobias 1958-, Snelting, Gregor

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Proof transformations for equational theories

    Proof transformations for equational theories von Nipkow, Tobias 1958-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Behavioural implementation concepts for nondeterministic data types

    Behavioural implementation concepts for nondeterministic data types von Nipkow, Tobias 1958-

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: