Dominique Méry

ספרים שבהם Dominique Méry מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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

Rigorous State-Based MethodsAlexander Raschke

Rigorous State-Based Methods

Alexander Raschke · 2021

Theoretical Aspects of Computing - ICTAC 2014Gabriel Ciobanu

Theoretical Aspects of Computing - ICTAC 2014

Gabriel Ciobanu · 2014