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
2024년
Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering
Theoretical Aspects of Software Engineering
2022년
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2019년
Model and Data Engineering Model and Data Engineering
Model and Data Engineering
2016년