Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

Noch nicht die passende Literatur gefunden? → Book a Librarian

Ergebnis der Suche nach: auRef=119103265
im Bestand: Gesamter Bestand

1 - 3 von 3

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