Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings 1st Auflage verfasst von Mariëlle Stoelinga; ‎Ralf Pinger und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Formal Methods for Industrial Critical Systems lauten 9783642324697, 364232469X und die Druck-ISBNs lauten 9783642324680, 3642324681. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings 1st Auflage verfasst von Mariëlle Stoelinga; ‎Ralf Pinger und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Formal Methods for Industrial Critical Systems lauten 9783642324697, 364232469X und die Druck-ISBNs lauten 9783642324680, 3642324681. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.