Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th ... Notes in Computer Science, Band 10854)

Distributed

von: Christel Baier · Luís Caires

Taschenbuch

EAN=ISBN-13: 978-3-319-92611-7

ISBN-10: 3-319-92611-X

Springer · 2018