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 著者: Author 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 9783662452318, 3662452316 および 印刷版のISBNは 9783662452301, 3662452308. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

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 著者: Author 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 9783662452318, 3662452316 および 印刷版のISBNは 9783662452301, 3662452308. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。