Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Algorithms"
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/931478936 |
Titel | A principle for sequential reasoning about distributed algorithms / F. A. Stomp ; W.-P. de Roever. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel |
Person(en) |
Stomp, Frank A. (Verfasser) Roever, Willem-Paul de (Verfasser) |
Verlag | Kiel : Inst. für Informatik und Praktische Mathematik |
Zeitliche Einordnung | Erscheinungsdatum: 1993 |
Umfang/Format | 33 S. ; 21 cm |
ISBN/Einband/Preis | geh. |
Beziehungen | Christian-Albrechts-Universität zu Kiel. Institut für Informatik und Praktische Mathematik: Bericht ; Nr. 9306 |
Anmerkungen |
Literaturverz. S. 30 - 33 Status nach VGG: vergriffen |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Frankfurt |
Signatur: 1993 A 42342
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 1993 A 42342
Bereitstellung in Leipzig |
