Konferenzschrift | Kongress
Formal methods for open object based distributed systems : 10th IFIP WG 6.1 international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540688624
- Dimensions
-
24 cm
- Extent
-
X, 258 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 5051
- Keyword
-
Verteiltes System
Serviceorientierte Architektur
Objektorientierung
Formale Methode
Komponente
Objektorientierte Programmierung
Verteilte Programmierung
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2008
- Contributor
-
Barthe, Gilles
International Federation for Information Processing. Working Group Architecture and Protocols for Computer Networks
FMOODS (10 : 2008 : Oslo)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
24.06.2025, 12:05 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Barthe, Gilles
- International Federation for Information Processing. Working Group Architecture and Protocols for Computer Networks
- FMOODS (10 : 2008 : Oslo)
- Springer
Time of origin
- 2008
Other Objects (12)
Distributed applications and interoperable systems : 10th IFIP WG 6.1 international conference ; proceedings
Formal methods for open object based distributed systems : 7th IFIP WG 6.1 international conference ; proceedings
Formal methods for open object based distributed systems : 6th IFIP WG 6.1 international conference ; proceedings
Electronic government : 10th IFIP WG 8.5 international conference ; proceedings
Artificial intelligence applications and innovations : 10th IFIP WG 12.5 international conference ; proceedings
Product lifecycle management for society : 10th IFIP WG 5.1 international conference ; proceedings
Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings
Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings
Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference and 32nd IFIP WG 6.1 international conference ; proceedings
Environmental software systems : fostering information sharing ; 10th IFIP WG 5.11 international symposium ; proceedings
Distributed applications and interoperable systems : 11th IFIP WG 6.1 international conference ; proceedings
Distributed applications and interoperable systems : 12th IFIP WG 6.1 international conference ; proceedings
Distributed applications and interoperable systems : 10th IFIP WG 6.1 international conference ; proceedings
Formal methods for open object based distributed systems : 7th IFIP WG 6.1 international conference ; proceedings
Formal methods for open object based distributed systems : 6th IFIP WG 6.1 international conference ; proceedings
Electronic government : 10th IFIP WG 8.5 international conference ; proceedings
Artificial intelligence applications and innovations : 10th IFIP WG 12.5 international conference ; proceedings
Product lifecycle management for society : 10th IFIP WG 5.1 international conference ; proceedings
Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings
Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings
Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference and 32nd IFIP WG 6.1 international conference ; proceedings
Environmental software systems : fostering information sharing ; 10th IFIP WG 5.11 international symposium ; proceedings
Distributed applications and interoperable systems : 11th IFIP WG 6.1 international conference ; proceedings
Distributed applications and interoperable systems : 12th IFIP WG 6.1 international conference ; proceedings
Distributed applications and interoperable systems : 10th IFIP WG 6.1 international conference ; proceedings
Formal methods for open object based distributed systems : 7th IFIP WG 6.1 international conference ; proceedings
Formal methods for open object based distributed systems : 6th IFIP WG 6.1 international conference ; proceedings
Electronic government : 10th IFIP WG 8.5 international conference ; proceedings
Artificial intelligence applications and innovations : 10th IFIP WG 12.5 international conference ; proceedings
Product lifecycle management for society : 10th IFIP WG 5.1 international conference ; proceedings
Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings
Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings
Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference and 32nd IFIP WG 6.1 international conference ; proceedings
Environmental software systems : fostering information sharing ; 10th IFIP WG 5.11 international symposium ; proceedings
Distributed applications and interoperable systems : 11th IFIP WG 6.1 international conference ; proceedings