Showing 1 - 18 results of 18 for search 'Hennicker, Rolf', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Proving the correctness of algebraic implementations by the ISAR system

    Proving the correctness of algebraic implementations by the ISAR system by Bauer, Bernhard, Hennicker, Rolf

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Behavioural specification and implementation of modular software systems

    Behavioural specification and implementation of modular software systems by Hennicker, Rolf

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    On the retrieval of reusable software components

    On the retrieval of reusable software components by Chen, Patrick Shicheng, Hennicker, Rolf, Jarke, Matthias 1952-2024

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    MENU an example for the systematic reuse of specifications

    MENU an example for the systematic reuse of specifications by Wirsing, Martin 1948-, Hennicker, Rolf, Stabl, Robert

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Beobachtungsorientierte Spezifikationen

    Beobachtungsorientierte Spezifikationen by Hennicker, Rolf

    Published 1988
    Thesis Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Design of modular software systems with reuse

    Design of modular software systems with reuse by Gastinger, Stefan, Hennicker, Rolf, Stabl, Robert

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    A general framework for modular implementations of modular system specifications

    A general framework for modular implementations of modular system specifications by Bidoit, Michel, Hennicker, Rolf

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    A behavioural algebraic framework for modular system design with reuse

    A behavioural algebraic framework for modular system design with reuse by Hennicker, Rolf, Nickl, Friederike

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Context induction a proof principle for behavioural abstractions and algebraic implementations

    Context induction a proof principle for behavioural abstractions and algebraic implementations by Hennicker, Rolf

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Beobachtungsorientierte Spezifikationen

    Beobachtungsorientierte Spezifikationen by Hennicker, Rolf

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Die Jugendverbände der Bundesrepublik Deutschland

    Die Jugendverbände der Bundesrepublik Deutschland by Hennicker, Rolf

    Published 1951
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Behavioural and abstractor specifications

    Behavioural and abstractor specifications by Bidoit, Michel, Hennicker, Rolf, Wirsing, Martin 1948-

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Retrieval of reusable components in software object bases

    Retrieval of reusable components in software object bases by Chen, Patrick Shicheng, Hennicker, Rolf, Jarke, Matthias 1952-2024

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Consistent configuration of modular algebraic implementations

    Consistent configuration of modular algebraic implementations by Hennicker, Rolf

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    A semi-algorithm for algebraic implementation proofs

    A semi-algorithm for algebraic implementation proofs by Hennicker, Rolf

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    Observational implementation of algebraic specifications

    Observational implementation of algebraic specifications by Hennicker, Rolf

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    Reusable specification components

    Reusable specification components by Wirsing, Martin 1948-, Hennicker, Rolf, Breu, Ruth

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    Observational specification: a Birkhoff-theorem

    Observational specification: a Birkhoff-theorem by Hennicker, Rolf, Wirsing, Martin 1948-

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: