Formal Methods and Software Engineering Yamine Aït-Ameur & Shengchao Qin의 도서 더 보기

Engineering of Complex Computer Systems Engineering of Complex Computer Systems
2024년
Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering
2022년
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
2020년
Model and Data Engineering Model and Data Engineering
2016년