Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... Notes in Computer Science, 4346, Band 4346)
Ein praxisorientierter Sammelband aus dem 11. International Workshop FMICS 2006, der neue Techniken zur Modellierung, Verifikation und Tool‑Entwickl ...
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 18-06-2026 22:35:39
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 18-06-2026 14:49:38
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 19-06-2026 03:19:49
Allgemein
Marke
Lubos Brim
ISBN
Lubos Brim 3540709517
MPN
Lubos Brim biography
