Treffer 1 – 18 von 18 für Suche 'Hennicker, Rolf', Suchdauer: 0,06s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Proving the correctness of algebraic implementations by the ISAR system

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Beobachtungsorientierte Spezifikationen

    Beobachtungsorientierte Spezifikationen von Hennicker, Rolf

    Veröffentlicht 1988
    Abschlussarbeit Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert 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 von Hennicker, Rolf

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Beobachtungsorientierte Spezifikationen

    Beobachtungsorientierte Spezifikationen von Hennicker, Rolf

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


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

    Die Jugendverbände der Bundesrepublik Deutschland von Hennicker, Rolf

    Veröffentlicht 1951
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Behavioural and abstractor specifications

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

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


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

    Consistent configuration of modular algebraic implementations von Hennicker, Rolf

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Observational implementation of algebraic specifications

    Observational implementation of algebraic specifications von Hennicker, Rolf

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Reusable specification components

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: