Formal Methods and Software Engineering المزيد من كتب Yamine Aït-Ameur & Shengchao Qin

Engineering of Complex Computer Systems Engineering of Complex Computer Systems
٢٠٢٤
Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering
٢٠٢٢
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
٢٠٢٠
Model and Data Engineering Model and Data Engineering
٢٠١٦