Total Books: 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: 3/3
