Integrated Formal Methods

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Integrated Formal Methods : 9783642386138, 364238613X および 印刷版のISBNは 9783642386121, 3642386121. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Integrated Formal Methods : 9783642386138, 364238613X および 印刷版のISBNは 9783642386121, 3642386121. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。