This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, ...
WeiterlesenThis book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...
WeiterlesenThis book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
Weiterlesen