Treffer 1 – 3 von 3 für Suche 'Naidich, Dimitri', Suchdauer: 0,01s 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
    On generic representation of implicit induction procedures

    On generic representation of implicit induction procedures von Naidich, Dimitri

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    On generic representation of implicit induction procedures

    On generic representation of implicit induction procedures von Naidich, Dimitri

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Implicit induction techniques for the verification of PIM a transformational toolkit for compilers

    Implicit induction techniques for the verification of PIM a transformational toolkit for compilers von Naidich, Dimitri

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: