Search Results - Hußmann, Heinrich 1959-2022

Refine Results
  1. 1
    Cover Image

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

    Published 1989
    Thesis Book


    Saved in:
  2. 2
    Cover Image

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

    Published 2009
    read online
    Electronic eBook


    Saved in:
  3. 3
    Cover Image

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

    Published 2009
    Table of contents
    Book


    Saved in:
  4. 4
    Cover Image

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

    Published 1993
    Order interlibrary loan


    Book


    Saved in:
  5. 5
    Cover Image

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

    Published 1991
    Order interlibrary loan


    Book


    Saved in:
  6. 6
    Cover Image

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

    Published 1989
    Order interlibrary loan


    Book


    Saved in:
  7. 7
    Cover Image

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

    Published 1997
    Table of contents
    Order interlibrary loan


    Book


    Saved in:
  8. 8
    Cover Image

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

    Published 1997
    Electronic eBook


    Saved in:
  9. 9
    Cover Image

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

    Published 1994
    Order interlibrary loan


    Book


    Saved in:
  10. 10
    Cover Image

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

    Published 1994
    Order interlibrary loan


    Book


    Saved in:
  11. 11
    Cover Image

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

    Published 1994
    Electronic eBook


    Saved in:
  12. 12
    Cover Image

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

    Published 1985
    Order interlibrary loan


    Book


    Saved in:
  13. 13
    Cover Image

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

    Published 1993
    read free online
    Book


    Saved in:
  14. 14
    Cover Image

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

    Published 1993
    Order interlibrary loan


    Book


    Saved in:
  15. 15
    Cover Image

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

    Published 1991
    Order interlibrary loan


    Book


    Saved in:
  16. 16
    Cover Image

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

    Published 1988
    Order interlibrary loan


    Book


    Saved in:
  17. 17
    Cover Image

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

    Published 1987
    Order interlibrary loan


    Book


    Saved in:
  18. 18
    Cover Image

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

    Published 1985
    Order interlibrary loan


    Book


    Saved in:
  19. 19
    Cover Image

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

    Published 1985
    Order interlibrary loan


    Book


    Saved in:
  20. 20
    Cover Image

    Deutsche Wappenkunst
    by Hußmann, Heinrich 1959-2022

    Published 1935
    Order interlibrary loan


    Book


    Saved in:

Search Tools: