Suchergebnisse - Klaeren, Herbert A.

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

    Datenräume mit algebraischer Struktur
    von Klaeren, Herbert A.

    Veröffentlicht 1978
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Potenzkategorien und ihre Anwendung auf den Beweis von Programmeigenschaften
    von Klaeren, Herbert A.

    Veröffentlicht 1975
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Vom Problem zum Programm: eine Einführung in die Informatik
    von Klaeren, Herbert A.

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Algebraische Spezifikation: eine Einführung
    von Klaeren, Herbert A.

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Einführung in die abstrakte Software-Spezifikation: Ausarb. e. Vorlesung vom WS 1981/82, RWTH Aachen
    von Klaeren, Herbert A.

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    A constructive method for abstract algebraic software specification
    von Klaeren, Herbert A.

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    A simple class of algorithmic specifications for abstract software modules
    von Klaeren, Herbert A.

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    The development of an interpreter by means of abstract algebraic software specifications
    von Klaeren, Herbert A., Petzsch, H.

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    On parameterized abstract software modules using inductively specified operations
    von Klaeren, Herbert A.

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Algebraic software specification and compiler generation: A case study
    von Klaeren, Herbert A., Petzsch, H.

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Vom Problem zum Programm: eine Einführung in die Informatik
    von Klaeren, Herbert A.

    Veröffentlicht 1991
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Informatikkenntnisse von Jugendlichen: untersucht am Beispiel des 11. Bundeswettbewerbs Informatik 1992/93
    von Busse, Johannes 1966-, Klaeren, Herbert A., Reich, Gabriele

    Veröffentlicht 1995
    Buch


    Gespeichert in:

Suchwerkzeuge: