Treffer 1 – 2 von 2 für Suche 'Pennemann, Karl-Heinz', Suchdauer: 0,03s 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
    Type checking C++ template instantiation by graph programs (long version)

    Type checking C++ template instantiation by graph programs (long version) von Azab, Karl, Pennemann, Karl-Heinz

    Veröffentlicht 2007
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Weakest preconditions for high-level programs (long version)

    Weakest preconditions for high-level programs (long version) von Habel, Annegret, Pennemann, Karl-Heinz, Rensink, Arend

    Veröffentlicht 2006
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: