Treffer 1 – 3 von 3 für Suche 'Rangel, Guilherme', Suchdauer: 0,04s 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
    Behavioral congruences and verification of graph transformation systems with applications to model refactoring

    Behavioral congruences and verification of graph transformation systems with applications to model refactoring von Salum Rangel, Guilherme

    Veröffentlicht 2008
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Behavior preservation in model refactoring using DPO transformations with borrowed contexts

    Behavior preservation in model refactoring using DPO transformations with borrowed contexts von Rangel, Guilherme, Lambers, Leen, König, Barbara, Ehrig, Hartmut 1944-2016, Bladan, Paolo

    Veröffentlicht 2008
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Behavioral congruences and verification of graph transformation systems with applications to model refactoring

    Behavioral congruences and verification of graph transformation systems with applications to model refactoring von Salum Rangel, Guilherme

    Veröffentlicht 2008
    Volltext öffnen
    Abschlussarbeit Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: