Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference ... Notes in Computer Science, Band 5522)

von: David Lee · Antonia Lopes · Arnd Poetzsch-Heffter Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-642-02137-4 ISBN-10: 3-642-02137-9 Springer · 2009