[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Katalog der Deutschen Nationalbibliothek

Neuigkeiten 24. Dezember 2024 bis 1. Januar 2025: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2025 bereitgestellt. // From 24 December 2024 to 1 January 2025: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2025.
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: idn=930155661



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/930155661
Titel Branching time and abstraction in bisimulation semantics / Rob van Glabbeek ; Peter Weijland. [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)
Weijland, Peter (Verfasser)
Verlag München : SFB 342
Zeitliche Einordnung Erscheinungsdatum: c 1990
Umfang/Format 52 S. : graph. Darst. ; 21 cm
ISBN/Einband/Preis kart.
Identifikationsnummern Reportnummer: TUM I 9052
Beziehungen Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen: SFB-Bericht / Reihe A ; Nr. 90,29
Anmerkungen Literaturverz. S. 49 - 52
Status nach VGG: vergriffen
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Frankfurt Signatur: D 91/35877
Bereitstellung in Frankfurt
Leipzig Signatur: SA 27568-9052
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration