Dominique Méry

Список авторов с биографиями, датами жизни и будущими подборками всех их книг.

Книги автора

4

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

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

Rigorous State-Based Methods

Rigorous State-Based Methods

Theoretical Aspects of Computing - ICTAC 2014

Theoretical Aspects of Computing - ICTAC 2014

Integrated Formal Methods

Integrated Formal Methods