Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... 2013, Florence, Italy, June 3-5
von:
Dirk Beyer
· Michele Boreale
Taschenbuch
Details (
USA
)
ISBN: 978-3-642-38593-3
ISBN-10: 3-642-38593-1
Springer
· 2013
