Integrated Formal Methods

Der Band fasst die Beiträge der achten International Conference on Integrated Formal Methods zusammen, zeigt neue Ansätze zur Modellierung komplexer ...

Allgemein

Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 13009367
ISBN
Springer-Verlag GmbH 3642162649

Eigenschaften

Menü