Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Kataloge/Sammlungen:	Hochschulschriften

Ergebnis der Suche nach: dce=511
im Bestand: Gesamter Bestand

1 - 2 von 2

	1	Full semantics preservation in model transformation Semenyak, Maria. - Münster : Verl.-Haus Monsenstein und Vannerdat, 2012
	2	Transformations of specifications and proofs to support an evolutionary formal software development Schairer, Axel. - Aachen : Shaker, 2006