Formal Techniques for Disributed Objects, Components, and Systems
Subtitle: 37th Ifip Wg 6. 1 International Conference, Forte 2017, Held As Part of the 12th International Federated Conference on Distributed Computing Techniques, Discotec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Publisher: Springer International Publishing AG
Published: 2017
Language: eng
Number of pages: 243
ISBN-13: 9783319602240
Subjects: Object-oriented methods (computer science); Computer software, reliability