Treffer: Correctness proofs of distributed algorithms

Titel:

Verantwortlich:

Reisig, Wolfgang

Veröffentlicht:

Berlin : Professoren des Inst. für Informatik, 1994

Umfang:

14 S. : graph. Darst.

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Informatik-Berichte ; 38
alle Bände anzeigen

RVK-Notation:

Schlagworte:

Zusatz-Informationen