Katalog der Deutschen Nationalbibliothek

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

1 - 10 von 12

	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	Normal form approach to compiler design Enthalten in Acta informatica Bd. 30, Nr. 8, date:8.1993: 701-739
	7	Specification-oriented semantics for communicating processes Olderog, Ernst-Rüdiger. - Kiel : Inst. für Informatik u. Prakt. Mathematik, 1985, (Rev. version)
	8	Remarks on “program proving: Jumps and functions by M. Clint and C. A. R. Hoare” Enthalten in Acta informatica Bd. 6, Nr. 3, date:9.1976: 317-318
	9	Consistent and complementary formal theories of the semantics of programming languages Enthalten in Acta informatica Bd. 3, Nr. 2, date:6.1974: 135-153
	10	An axiomatic definition of the programming language PASCAL Enthalten in Acta informatica Bd. 2, Nr. 4, date:12.1973: 335-355