Formal Techniques for Distributed Objects, Components, and Systems
Subtitle: 34th IFIP WG 6. 1 International Conference, FORTE 2014, Held As Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Publisher: Springer London, Limited
Published: 2014
Language: eng
Number of pages: 301
ISBN-13: 9783662436134