Katalog der Deutschen Nationalbibliothek

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

1 - 2 von 2

	1	Pure and O-Substitution Maletti, Andreas. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
	2	Transformations of specifications and proofs to support an evolutionary formal software development Schairer, Axel, 2006