[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=911411984



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/911411984
Art des Inhalts Hochschulschrift
Titel Statische Analyse und Modellierung von formalen Spezifikationen verteilter Systeme
Person(en) Holz, Eckhardt (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 1991
Umfang/Format 87, [34] S. ; 30 cm
Hochschulschrift Berlin, Humboldt-Univ., Diss., 1991
Sprache(n) Deutsch (ger)
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: H 91b/9591
Bereitstellung in Frankfurt
Leipzig Signatur: Di 1991 B 5871
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <


E-Mail-IconAdministration