Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems المزيد من كتب Yamine Aït-Ameur, Shin Nakajima & Dominique Méry

Engineering of Complex Computer Systems Engineering of Complex Computer Systems
Engineering of Complex Computer Systems
٢٠٢٤
Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering
Theoretical Aspects of Software Engineering
٢٠٢٢
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
٢٠١٩
Model and Data Engineering Model and Data Engineering
Model and Data Engineering
٢٠١٦