Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th ... Notes in Computer Science, Band 8461)

von: Erika Ábrahám · Catuscia Palamidessi Taschenbuch Details (Deutschland) Details (United States) ISBN: 978-3-662-43612-7 ISBN-10: 3-662-43612-4 Springer · 2014