Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=920791891
Link zu diesem Datensatz | https://d-nb.info/920791891 |
Titel | A deadlock-sensitive congruence for action refinement / Rob van Glabbeek ; Ursula Goltz. TUM, Technische Universität München, Institut für Informatik, Sonderforschungsbereich 342: Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen |
Person(en) |
Glabbeek, Rob van (Verfasser) Goltz, Ursula (Verfasser) |
Verlag | München : SFB 342 |
Zeitliche Einordnung | Erscheinungsdatum: 1990 |
Umfang/Format | 31 S. : graph. Darst. ; 21 cm |
ISBN/Einband/Preis | kart. |
Identifikationsnummern | Reportnummer: TUM I 9044 |
Beziehungen | Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen: SFB-Bericht / Reihe A ; Nr. 90,23 |
Anmerkungen |
Literaturverz. S. 29 - 31 Status nach VGG: vergriffen |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Frankfurt |
Signatur: DKs 91/201
Bereitstellung in Frankfurt |
Leipzig |
Signatur: SA 27568-9044
Bereitstellung in Leipzig |