Katalog der Deutschen Nationalbibliothek

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

1 - 8 von 8

	1	Tracelets and Specifications Hoare, Charles A. R.. - Augsburg : Universität Augsburg, 2017
	2	On locality and the exchange law for concurrent processes Hoare, Charles A. R.. - Augsburg : Universität Augsburg, 2011
	3	Concurrent Kleene Algebra Augsburg : Universität Augsburg, 2009
	4	Foundations of Concurrent Kleene Algebra Augsburg : Universität Augsburg, 2009
	5	Foundations of concurrent Kleene Algebra Hoare, Charles A. R.. - Augsburg : Universität Augsburg, 2009
	6	Specification-oriented semantics for communicating processes Olderog, Ernst-Rüdiger. - Kiel : Inst. für Informatik u. Prakt. Mathematik, 1985, (Rev. version)
	7	An axiomatic definition of the programming language PASCAL Enthalten in Acta informatica Bd. 2, Nr. 4, date:12.1973: 335-355
	8	Hoare, Charles A. R. 1934- / Informatiker