Algebraic calculation of graph and sorting algorithms:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Möller, Bernhard (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Augsburg Inst. für Mathematik 1993
Schriftenreihe:Institut für Mathematik <Augsburg>: Report 286
Beschreibung:Aus: Proceedings of the International Conference on Formal Methods in Programming and their Applications, Novosibirsk ; 1993
Beschreibung:19 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!