Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=0*
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1007237317 |
Art des Inhalts | Konferenzschrift, 2008, Oslo |
Titel | Formal Methods for Open Object-Based Distributed Systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings |
Person(en) | Barthe, Gilles (Herausgeber) |
Organisation(en) |
FMOODS (10 : 2008 : Oslo) (Herausgebendes Organ) International Federation for Information Processing. Working Group Architecture and Protocols for Computer Networks (Herausgebendes Organ) |
Verlag | Berlin, Heidelberg : Springer Berlin Heidelberg |
Zeitliche Einordnung | Erscheinungsdatum: 2005 |
Umfang/Format | Online-Ressource |
Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Formal methods for open object based distributed systems |
Persistent Identifier |
URN: urn:nbn:de:1111-201009281795 DOI: 10.1007/b136996 |
URL | https://link.springer.com/book/10.1007/978-3-540-31556-8 (Verlag) |
ISBN/Einband/Preis | 978-3-540-31556-8 |
EAN | 9783540315568 |
Beziehungen | Lecture Notes in Computer Science |
Anmerkungen | Lizenzpflichtig |
Schlagwörter |
Verteiltes System ; Serviceorientierte Architektur ; Objektorientierung ; Formale Methode ; Kongress ; Oslo <2008> Komponente <Software> ; Objektorientierte Programmierung ; Verteilte Programmierung ; Formale Methode ; Kongress ; Oslo <2008> |
DDC-Notation | 005.131 [DDC22ger] |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |
