Suchergebnisse - Hußmann, Heinrich 1959-2022

Treffer filtern
  1. 1
    Buchumschlag

    Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem
    von Hußmann, Heinrich 1959-2022

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Nichtdeterministische algebraische Spezifikationen
    von Hußmann, Heinrich 1959-2022

    Veröffentlicht 1989
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Medieninformatik: eine Einführung
    von Malaka, Rainer, Butz, Andreas, Hußmann, Heinrich 1959-2022

    Veröffentlicht 2009
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Nondeterminism in algebraic specifications and algebraic programs
    von Hußmann, Heinrich 1959-2022

    Veröffentlicht 1993
    Online lesen (frei zugänglich)
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Synergy between formal and pragmatic software engineering methods
    von Hußmann, Heinrich 1959-2022

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Nondeterministic algebraic specifications
    von Hußmann, Heinrich 1959-2022

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Towards advanced programming environments based on algebraic concepts
    von Broy, Manfred 1949-, Geser, Alfons, Hußmann, Heinrich 1959-2022

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Rapid prototyping for algebraic specifications: examples for the use of the RAP system
    von Geser, Alfons, Hußmann, Heinrich 1959-2022

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Rapid prototyping for algebraic specifications: RAP system user's manual
    von Hußmann, Heinrich 1959-2022

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Medieninformatik: eine Einführung
    von Malaka, Rainer, Butz, Andreas 1967-, Hußmann, Heinrich 1959-2022

    Veröffentlicht 2009
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  11. 11
    Buchumschlag

    Formal foundations for software engineering methods
    von Hußmann, Heinrich 1959-2022

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Formal foundations for software engineering methods
    von Hußmann, Heinrich 1959-2022

    Veröffentlicht 1997
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  13. 13
    Buchumschlag

    Formal foundations for SSADM: an approach integrating the formal and pragmatic worlds of requirements engineering
    von Hußmann, Heinrich 1959-2022

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Software Engineering im Unterricht der Hochschulen SEUH '94
    von Hußmann, Heinrich 1959-2022

    Veröffentlicht 1994
    Elektronisch E-Book


    Gespeichert in:
  15. 15
    Buchumschlag

    Unification in conditional-equational theories
    von Hußmann, Heinrich 1959-2022

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Rapid prototyping for algebraic specifications: RAP system user's manual
    von Hußmann, Heinrich 1959-2022

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    The Korso case study for software engineering with formal methods
    von Cornelius, Felix, Hußmann, Heinrich 1959-2022, Löwe, Michael

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Nondeterministic algebraic specifications
    von Hußmann, Heinrich 1959-2022

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Nichtdeterministische algebraische Spezifikationen
    von Hußmann, Heinrich 1959-2022

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Deutsche Wappenkunst
    von Hußmann, Heinrich 1959-2022

    Veröffentlicht 1935
    Buch


    Gespeichert in:

Suchwerkzeuge: