A principle for sequential reasoning about distributed algorithms
Stomp, Frank A. ; Roever, Willem-Paul de 1993 Inst. für Informatik und Praktische Mathematik
- Link zu diesem Datensatz
-
https://d-nb.info/931478936
- Titel
-
A principle for sequential reasoning about distributed algorithms
- Art des Inhalts
- Monographie
- Verfassangaben
- F. A. Stomp ; W.-P. de Roever. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel
- Autor(en)
-
- Stomp, Frank A.
- Roever, Willem-Paul de
- Verlag
- Kiel : Inst. für Informatik und Praktische Mathematik [1993]
- Jahr
- Erscheinungsdatum: 1993
- Umfang/Format
- 33 S.
- Sprache
- ger
- Sachgruppe(n)
-
- Anmerkungen
-
Literaturverz. S. 30 - 33
- Stand
- 04.12.2024 19:37
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
