Treffer 1 – 13 von 13 für Suche 'Rensink, Arend', Suchdauer: 0,07s 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
    Denotational, causal and operational determinism in event structures

    Denotational, causal and operational determinism in event structures von Rensink, Arend

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Abstraction and refinement in configuration structures

    Abstraction and refinement in configuration structures von Costantini, Ruggero, Rensink, Arend

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Weakest preconditions for high-level programs (long version)

    Weakest preconditions for high-level programs (long version) von Habel, Annegret, Pennemann, Karl-Heinz, Rensink, Arend

    Veröffentlicht 2006
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Deterministic pomsets

    Deterministic pomsets von Rensink, Arend

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Order isomorphism does not preserve global event independence

    Order isomorphism does not preserve global event independence von Rensink, Arend

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    On syntactic and semantic action refinement

    On syntactic and semantic action refinement von Goltz, Ursula, Giorrieri, Roberto, Rensink, Arend

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Causal traces

    Causal traces von Rensink, Arend

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Order isomorphism does not preserve global event independence

    Order isomorphism does not preserve global event independence von Rensink, Arend

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    On syntactic and semantic action refinement

    On syntactic and semantic action refinement von Goltz, Ursula, Gorrieri, Roberto, Rensink, Arend

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Theory and practice of model transformation 11th International Conference, ICMT 2018 : held as part of STAF 2018, Toulouse, France, June 25–26, 2018 : proceedings

    Theory and practice of model transformation 11th International Conference, ICMT 2018 : held as part of STAF 2018, Toulouse, France, June 25–26, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser: “… Rensink, Arend …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  11. 11
    ModelEd, testEd, trustEd essays dedicated to Ed Brinksma on the occasion of his 60th birthday

    ModelEd, testEd, trustEd essays dedicated to Ed Brinksma on the occasion of his 60th birthday

    Veröffentlicht 2017
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  12. 12
    Formal Methods for Open Object-Based Distributed Systems V IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands

    Formal Methods for Open Object-Based Distributed Systems V IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002)...

    Veröffentlicht 2002
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Theory and practice of model transformation 11th international conference, ICMT 2018, held as a part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings

    Theory and practice of model transformation 11th international conference, ICMT 2018, held as a part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser: “… Rensink, Arend …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: