Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, ... Notes in Computer Science, Band 2529)

Distributed

von: Doron A. Peled · Moshe Y. Vardi

Taschenbuch

ISBN-13: 978-3-540-00141-6

ISBN-10: 3-540-00141-7

Springer · 2009