Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications lauten 9783662452318, 3662452316 und die Druck-ISBNs lauten 9783662452301, 3662452308. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications lauten 9783662452318, 3662452316 und die Druck-ISBNs lauten 9783662452301, 3662452308. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.