Suchergebnisse - Regensburger, Franz

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

    The logical framework of SPECTRUM
    von Grosu, Radu, Regensburger, Franz

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    HOLCF: Eine konservative Erweiterung von HOL um LCF
    von Regensburger, Franz

    Veröffentlicht 1994
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Mini-statecharts: a lean version of statecharts
    von Nazareth, Dieter, Regensburger, Franz, Scholz, Peter

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    The calculus of SPECTRUM
    von Regensburger, Franz

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    The logic framework of SPECTRUM
    von Grosu, Radu, Regensburger, Franz

    Veröffentlicht 1994
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    HOLCF: eine konservative Erweiterung von HOL um LCF
    von Regensburger, Franz

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Per Fernleihe bestellen
    Buch


    Gespeichert in:

Suchwerkzeuge: