Formal Techniques for Distributed Objects, Components, and Systems
Subtitle: 35th IFIP WG 6. 1 International Conference, FORTE 2015, Held As Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Publisher: Springer London, Limited
Published: 2015
Language: eng
Number of pages: 245
ISBN-13: 9783319191959
Subjects: Electronic data processing, distributed processing; Computer network protocols