Integrated Formal Methods

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 1st 版 著者: Jim Davies; Jeremy Gibbons 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Integrated Formal Methods : 9783540732105, 3540732101 および 印刷版のISBNは 9783540732099, 3540732098. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 1st 版 著者: Jim Davies; Jeremy Gibbons 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Integrated Formal Methods : 9783540732105, 3540732101 および 印刷版のISBNは 9783540732099, 3540732098. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。