Formal Methods and Software Engineering

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings 1st الإصدار تمت الكتابة بواسطة Shaoying Liu; Tom Maibaum; Keijiro Araki وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods and Software Engineering هي 9783540881940, 3540881948 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540881933, 354088193X. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings 1st الإصدار تمت الكتابة بواسطة Shaoying Liu; Tom Maibaum; Keijiro Araki وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods and Software Engineering هي 9783540881940, 3540881948 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540881933, 354088193X. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.