• Formal Methods for Open Object...

Treffer: Formal Methods for Open Object-Based Distributed Systems

Title:
Formal Methods for Open Object-Based Distributed Systems
Authors:
Martin Steffen, Gianluigi Zavattaro
Resource Type:
eBook.
Subjects:
Formal methods (Computer science)--Congresses, Electronic data processing--Distributed processing--Congresses, Object-oriented programming (Computer science)--Congresses
Categories:
COMPUTERS / Networking / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Operating Systems / General, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General
Database:
eBook Index

Weitere Informationen

'This volume contains the proceedings of FMOODS 2005, the 7th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15 -17, 2005.'