Rocco De Nicola
· 9 obras en el catálogo
Obras

Trustworthy global computing

Coordination models and languages

Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (Lecture Notes in Computer Science)

Software Engineering and Formal Methods

Software, Services, and Systems

Coordination Models and Languages
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
