Suchergebnisse - Pennemann, Karl-Heinz

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 2007
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2006
    Buch


    Gespeichert in:

Suchwerkzeuge: