Software Engineering and Formal Methods المزيد من كتب Antonio Cerone & Marco Roveri
From Data to Models and Back
٢٠٢٥
Formal Methods for an Informal World
٢٠٢٣
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
٢٠٢٢
Formal Methods for Software Engineering
٢٠٢٢
Theoretical Aspects of Computing – ICTAC 2021
٢٠٢١
Formal Methods – Fun for Everybody
٢٠٢١
Software Engineering and Formal Methods
٢٠٢٠
Formal Methods. FM 2019 International Workshops
٢٠٢٠
Formal Methods. FM 2019 International Workshops
٢٠٢٠
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
٢٠١٤