Electronic Books

Total Books: 1 - 3 /3
Coordination Models and Languages (vol. # 4038)

This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, ...

Weiterlesen
Formal Methods for Open Object-Based Distributed Systems (vol. # 4037)

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...

Weiterlesen
Software Architecture : Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings

This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...

Weiterlesen
Total Books: 1 - 3 /3