Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die 1,9 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
Neuigkeiten Die Lesesäle der Deutschen Nationalbibliothek sind für den Benutzungsbetrieb geöffnet. Für den Zutritt am Standort Frankfurt am Main ist eine Reservierungsbestätigung notwendig. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Lösen Sie Bestellungen bitte erst nach der erfolgreichen Reservierung aus.
 
Neuigkeiten Das Ad-hoc-Bereitstellungssystem steht am 24. und 25. Mai in Frankfurt und Leipzig nicht zur Verfügung. In dieser Zeit ist die Nutzung von bestellten elektronischen Publikationen nicht möglich.
 
 

Ergebnis der Suche nach: idn=100954781X



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/100954781X
Art des Inhalts Hochschulschrift
Titel Correctness of services and their composition / Niels Lohmann
Person(en) Lohmann, Niels (Verfasser)
Verlag Eindhoven : Univ. Press
Zeitliche Einordnung Erscheinungsdatum: 2010
Umfang/Format 189 S. : graph. Darst. ; 24 cm
Hochschulschrift Zugl.: Rostock, Univ., Diss. und Eindhoven, Techn. Univ., Diss., 2010
ISBN/Einband/Preis 978-90-386-2318-4 kart.
Sprache(n) Deutsch (ger)
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

Leipzig Signatur: 2011 A 13478
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <


E-Mail-IconAdministration