Formal Techniques for Distributed Systems: Joint 12th

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 Inteational Conference, FMOODS 2010 and 30th IFIP WG 6.1 Inteational Conference, .. / Programming and Software Engineering)

Hardcover: 245 pages

Publisher: Springer (July 21, 2010)

Language: English

ISBN-10: 3642134637