Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

Noch nicht die passende Literatur gefunden? → Book a Librarian

Ergebnis der Suche nach: tit all "Program construction and verification."
im Bestand: Gesamter Bestand

1 - 2 von 2

	1	Programmkonstruktion und Verifikation Backhouse, Roland C.. - München : Hanser, 1989
	2	Building program construction and verification tools from algebraic principles In: Formal aspects of computing Bd. 28, 20.11.2015, Nr. 2, date:4.2016: 265-293

1 - 2 von 2