Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Samstag, 25. April 2026, ist die Deutschen Nationalbibliothek in Frankfurt am Main aufgrund von Wartungsarbeiten geschlossen.
Due to maintenance work the German National Library in Frankfurt will be closed on Saturday, 25 April 2026.
 
Neuigkeiten

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

 
Neuigkeiten Die Deutsche Nationalbibliothek ist am Freitag, 1. Mai 2026 an beiden Standorten geschlossen. //
The German National Library will be closed on Friday 1 May 2026 at both locations.
 
 

Ergebnis der Suche nach: idn=1010530356



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1010530356
Art des Inhalts Hochschulschrift
Titel Correctness of services and their composition / Niels Lohmann
Person(en) Lohmann, Niels (Verfasser)
Ausgabe [Online-Ausg.]
Sekundärausgabe Online-Ausg.: [Rostock] : [Univ.-Bibliothek], 2010. Online-Ressource
Verlag Eindhoven : Univ. Press
Zeitliche Einordnung Erscheinungsdatum: 2010
Umfang/Format 189 S. : graph. Darst. ; 24 cm (pdf)
Hochschulschrift Zugl.: Rostock, Univ., Diss. und Eindhoven, Techn. Univ., Diss., 2010
Persistent Identifier URN: urn:nbn:de:gbv:28-diss2010-0138-3
URL http://rosdok.uni-rostock.de/metadata/rosdok_disshab_000000000505 (Verlag) (kostenfrei zugänglich)
ISBN/Einband/Preis 978-90-386-2318-4
Sprache(n) Englisch (eng)
Beziehungen School voor Informatie- en Kennissystemen (Amsterdam): SIKS dissertation series ; No. 2010,37
Schlagwörter Serviceorientierte Architektur ; Dienst <Informatik> ; Korrektheit ; Beweis ; Fehlerbehandlung ; Spezifikation ; Verifikation ; Formale Methode
DDC-Notation 004.24 [DDC22ger]
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration