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)

Palamidessi

von: Erika Ábrahám · Catuscia Palamidessi

Taschenbuch

ISBN: 978-3-662-43612-7

ISBN-10: 3-662-43612-4

Springer · 2014