Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, ... / Programming and Software Engineering)

von Martin Steffen Springer Berlin Heidelberg · 2005 Taschenbuch Details (Deutschland) Details (Vereinigte Staaten) Details (Großbritannien) Details (Kanada) Details (Frankreich) Details (Italien) ISBN-13: 978-3-540-26181-0 ISBN-10: 3-540-26181-8