Formal Methods and Software Engineering

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings 1st الإصدار تمت الكتابة بواسطة Jin Song Dong; Huibiao Zhu وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods and Software Engineering هي 9783642169014, 3642169015 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642169007, 3642169007. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings 1st الإصدار تمت الكتابة بواسطة Jin Song Dong; Huibiao Zhu وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods and Software Engineering هي 9783642169014, 3642169015 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642169007, 3642169007. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.