عنوان

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

پدید آورنده

Martin Steffen, Gianluigi Zavattaro )eds.(

موضوع

Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(

رده

QA

76
.
L28

Vol
.
3535

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران

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

2005 : Athens, Greece

Berlin

Springer-Verlag

2005

x, 321 p.: ill

Lecture notes in computer science; 5353

Includes bibliographies

ISBN: 3540261818

Martin Steffen, Gianluigi Zavattaro )eds.(

Congresses ، Electronic data processing -- Distributed processing

Congresses ، Object-oriented programming )Computer science(

L28

Vol

3535

AU Steffen, Martin

AU Zavattaro, Gianluigi

FMOODS

عنوان Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings

پدید آورنده Martin Steffen, Gianluigi Zavattaro )eds.(

موضوع Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(

رده QA 76 .L28 Vol.3535