
Trustworthy Global Computing
Roberto Bruni, Vladimiro Sassone
₹5,712

Joint 13th Ifip Wg 6.1 International Conference, Fmoods 2011, and 30th Ifip Wg 6.1 International Conference
by Roberto Bruni, Juergen Dingel
Free delivery. Nothing extra to pay at checkout.
This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FOR
Description supplied by the publisher.