Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ... Notes in Computer Science (5051), Band 5051)

von Gilles Barthe Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-68862-4 ISBN-10: 3-540-68862-5 Springer · 2008