Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Medimops DE 
SpringerLink DE 53.49 EUR
53.49 EUR
22-04-2026 09:20:07
Der Konferenzband von IFM 2012 in Pisa liefert neue Erkenntnisse zu formalen Methoden, kombiniert mit innovativen Werkzeugen für Modellierung und Verifikation sowie praxisorientierten Fallstudien aus der Industrie.
