Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops المزيد من كتب José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle & Graham Pluck

Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
٢٠٢٢
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
٢٠١٧
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
٢٠١٦