Katalog der Deutschen Nationalbibliothek

Expertensuche ?

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

1 - 5 von 5

	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)