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,
Szerző:
Dirk Beyer, Michele Boreale
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
19 327
Ft
This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on F...
