Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International ... Notes in Computer Science, Band 6722)

von: Roberto Bruni · Juergen Dingel Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-642-21460-8 ISBN-10: 3-642-21460-6 Springer · 2011