Konferenzschrift | Kongress
Formal methods for open object based distributed systems : 7th IFIP WG 6.1 international conference ; proceedings
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540261810
3540261818
- Maße
-
24 cm
- Umfang
-
X, 321 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; Vol. 3535
- Klassifikation
-
Informatik
- Schlagwort
-
Verteiltes System
Offenes Kommunikationssystem
Objektorientierung
Formale Methode
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York
- (wer)
-
Springer
- (wann)
-
2005
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:31 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
- Kongress
Beteiligte
- Steffen, Martin
- International Federation for Information Processing. Working Group Architecture and Protocols for Computer Networks
- FMOODS (7 : 2005 : Athen)
- Springer
Entstanden
- 2005
Ähnliche Objekte (12)
Distributed applications and interoperable systems : 7th IFIP WG 6.1 international conference ; proceedings
Trust management VII : 7th IFIP WG 11.11 international conference ; proceedings
Formal methods for open object based distributed systems : 6th IFIP WG 6.1 international conference ; proceedings
Formal methods for open object based distributed systems : 10th IFIP WG 6.1 international conference ; proceedings
The practice of enterprise modeling : 7th IFIP WG 8.1 working conference ; proceedings
Theoretical computer science : 7th IFIP TC 1 WG 2.2 international conference ; proceedings
Open source systems: grounding research : 7th IFIP WG 2.13 international conference ; proceedings
Critical infrastructure protection VII : 7th IFIP WG 11.10 international conference ; revised selected papers
Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference and 32nd 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 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings
Software technologies for embedded and ubiquitous systems : 7th IFIP WG 10.2 international workshop ; proceedings
Distributed applications and interoperable systems : 7th IFIP WG 6.1 international conference ; proceedings
Trust management VII : 7th IFIP WG 11.11 international conference ; proceedings
Formal methods for open object based distributed systems : 6th IFIP WG 6.1 international conference ; proceedings
Formal methods for open object based distributed systems : 10th IFIP WG 6.1 international conference ; proceedings
The practice of enterprise modeling : 7th IFIP WG 8.1 working conference ; proceedings
Theoretical computer science : 7th IFIP TC 1 WG 2.2 international conference ; proceedings
Open source systems: grounding research : 7th IFIP WG 2.13 international conference ; proceedings
Critical infrastructure protection VII : 7th IFIP WG 11.10 international conference ; revised selected papers
Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference and 32nd 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 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings
Software technologies for embedded and ubiquitous systems : 7th IFIP WG 10.2 international workshop ; proceedings
Distributed applications and interoperable systems : 7th IFIP WG 6.1 international conference ; proceedings
Trust management VII : 7th IFIP WG 11.11 international conference ; proceedings
Formal methods for open object based distributed systems : 6th IFIP WG 6.1 international conference ; proceedings
Formal methods for open object based distributed systems : 10th IFIP WG 6.1 international conference ; proceedings
The practice of enterprise modeling : 7th IFIP WG 8.1 working conference ; proceedings
Theoretical computer science : 7th IFIP TC 1 WG 2.2 international conference ; proceedings
Open source systems: grounding research : 7th IFIP WG 2.13 international conference ; proceedings
Critical infrastructure protection VII : 7th IFIP WG 11.10 international conference ; revised selected papers
Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference and 32nd 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 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings