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, 2013, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2013)

Brand new: lowest price

AU $142.95

Free postage
  • Get it by Fri, 1 Jun - Tue, 19 Jun from Sydney, Australia
  • Brand new condition
  • • Returns accepted - 30 days money back
The 20 revised full papers presented were carefully reviewed and selected from 39 submissions. The papers present a wide range of topics combining theory and practice. Formal Techniques for Distributed Systems: Joint Ifip Wg 6.1 International Conference, Fmoods/Forte 2013, Held as Part of the 8th International Federa.