Yamine Ait-Ameur

Yamine Ait-Ameur

1 ספרים במאגר

ספרים

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete SystemsYamine Ait-Ameur

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

Yamine Ait-Ameur · 2021

ספרים משותפים ואוספים

ספרים שבהם Yamine Ait-Ameur מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Engineering of Complex Computer SystemsGuangdong Bai

Engineering of Complex Computer Systems

Guangdong Bai · 2024