Formal Techniques for Distributed Systems
Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5,
Autor:
Dirk Beyer, Michele Boreale
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
277.38
lei
This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on F...
