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. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ IFM’99 هي 9781447108511, 1447108515 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9781852331078, 1852331070. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

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. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ IFM’99 هي 9781447108511, 1447108515 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9781852331078, 1852331070. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.