Formal Methods for Industrial Critical Systems

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Bezeichner
Abmessungen / Gewicht
Hauptmerkmale
Alberto Lluch Lafuente