Formal methods for open object-based distributed systems: 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 ; proceedings

Media type: Book; Conference Proceedings
Title: Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 ; proceedings
Contains: Literaturangaben

Contributor: Steffen, Martin [Editor]; Zavattaro, Gianluigi [Other]
Event: FMOODS
Published: Berlin; Heidelberg [u.a.]: Springer, 2005
Published in: Lecture notes in computer science ; 3535
Extent: X, 321 S.; graph. Darst; 235 mm x 155 mm
Language: English
ISBN: 9783540261810; 3540261818
Publisher, production or purchase order numbers: Sonstige Nummer: 11494881
RVK notation: SS 4800 : Lecture notes in computer science
Keywords: Verteiltes System > Offenes Kommunikationssystem > Objektorientierung > Formale Methode
Verteiltes System > Offenes Kommunikationssystem > Objektorientierung > Formale Methode
Origination:
Footnote:

Formal methods for open object-based distributed systems