Formal Methods and Software Engineering

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings 1st الإصدار تمت الكتابة بواسطة Zhiming Liu; ‎Jifeng He وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods and Software Engineering هي 9783540474623, 3540474625 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540474609, 3540474609. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings 1st الإصدار تمت الكتابة بواسطة Zhiming Liu; ‎Jifeng He وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods and Software Engineering هي 9783540474623, 3540474625 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540474609, 3540474609. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.