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-5, 2015, Proceedings
Publisher: Springer International Publishing AG
Published: 2015
Language: eng
Number of pages: 245
ISBN-13: 9783319191942
Subjects: Electronic data processing; Computer network protocols