Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: "119103265"
im Bestand: Gesamter Bestand

1 - 6 von 6

	1	Tracelets and Specifications Hoare, Charles A. R.. - Augsburg : Universität Augsburg, 2017
	2	Concurrent Kleene Algebra Augsburg : Universität Augsburg, 2009
	3	Foundations of Concurrent Kleene Algebra Augsburg : Universität Augsburg, 2009
	4	Foundations of concurrent Kleene Algebra Hoare, Charles A. R.. - Augsburg : Universität Augsburg, 2009
	5	Specification-oriented semantics for communicating processes Olderog, Ernst-Rüdiger. - Kiel : Inst. für Informatik u. Prakt. Mathematik, 1985, (Rev. version)
	6	Hoare, Charles A. R. 1934- / Informatiker