IFM’99

IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999 1st 版 著者: Keijiro Araki; Andy Galloway; Kenji Taguchi 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: IFM’99 : 9781447108511, 1447108515 および 印刷版のISBNは 9781852331078, 1852331070. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999 1st 版 著者: Keijiro Araki; Andy Galloway; Kenji Taguchi 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: IFM’99 : 9781447108511, 1447108515 および 印刷版のISBNは 9781852331078, 1852331070. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。