Dominique Méry

Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.

Bücher des Autors

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