Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Formal Techniques for Safety-Critical Systems lauten 9783319054162, 3319054163 und die Druck-ISBNs lauten 9783319054155, 3319054155. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Formal Techniques for Safety-Critical Systems lauten 9783319054162, 3319054163 und die Druck-ISBNs lauten 9783319054155, 3319054155. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.