Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Formal Methods for Industrial Critical Systems lauten 9783319194585, 3319194585 und die Druck-ISBNs lauten 9783319194578, 3319194577. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Formal Methods for Industrial Critical Systems lauten 9783319194585, 3319194585 und die Druck-ISBNs lauten 9783319194578, 3319194577. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.