Formal Techniques for Distributed Systems
Subtitle: Joint 12th IFIP WG 6. 1 International Conference, FMOODS 2010 and 30th IFIP WG 6. 1 International Conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010, Proceedings
Publisher: Springer London, Limited
Published: 2010
Language: eng
Number of pages: 233
ISBN-13: 9783642134647