Proofs for the automated inversion of attribute mappings in bidirectional model transformations / Max E. Kramer, Kirill Rakhman
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Karlsruher Institut für Technologie. Karlsruhe reports in informatics ; 2016, 3Verlag: Karlsruhe : KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2016Beschreibung: 1 Online-Ressource (24 ungezählte Seiten)Genre/Form: DOI: DOI: 10.5445/IR/1000052702Online-Ressourcen: PPN: PPN: 857414852Package identifier: Produktsigel: ZDB-296-TTNDieser Titel hat keine Exemplare