ferruccio damiani
Formal Methods for Executable Software Models
TaschenbuchPrint on DemandInhaltsangabeAnalysis of Executable Software Models.- Deadlock Detection in Linear Recursive Prog...
Formal Methods for Components and Objects
TaschenbuchPrint on DemandInhaltsangabeThe ASCENS Project.- ASCENS: Engineering Autonomic Service-Component Ensembles.- A L...
Formal Verification of Object-Oriented Software
TaschenbuchPrint on DemandThis book presents the thoroughly refereed post-conference proceedings of the International Confe...
Coordination Models and Languages
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference o...
Active Object Languages: Current Research Trends
TaschenbuchPrint on DemandActive Objects are a programming paradigm that supports a non-competitive, data-driven concurrenc...
Integrated Formal Methods
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 20th International Conference on Integrated...
- 1