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

Engineering of Complex Computer Systems

Theoretical Aspects of Software Engineering

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Model and Data Engineering