Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, ... Notes in Computer Science, Band 4574)

Distributed

von John Derrick

Taschenbuch

ISBN: 978-3-540-73195-5

ISBN-10: 3-540-73195-4

Springer · 2007