Michele Boreale
Identifiers
- Open LibraryOL7876844A
Books by Michele Boreale
Total count: 2
-
Formal Techniques for Distributed SystemsJoint 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, ProceedingsSpringer London, Limited2013-01-01
-
Models, Languages, and Tools for Concurrent and Distributed ProgrammingEssays Dedicated to Rocco de Nicola on the Occasion of His 65th BirthdaySpringer International Publishing AG2019-01-01