Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die Deutsche Nationalbibliothek öffnet ab dem 4. Mai 2020 unter Beachtung der geltenden Hygiene- und Abstandsregelungen ihre Lesesäle für den eingeschränkten Benutzungsbetrieb. Für den Zutritt ist eine Reservierungsbestätigung zwingend 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.
 
 

Ergebnis der Suche nach: idn=100954781X



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz http://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