(Formal Techniques for Distributed Systems: Joint 13th Ifip Wg 6.1 International Conference, Fmoods 2011, and 30th Ifip Wg 6.1 International Conference) By Bruni, Roberto (Author) paperback on (07 , 2011)

Distributed

von Roberto Bruni

Taschenbuch

ISBN-13: 978-3-642-21462-2

ISBN-10: 3-642-21462-2

Springer · 2011