Formal Methods and Software Engineering

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings 1st الإصدار تمت الكتابة بواسطة Jin Song Dong; ‎Jim Woodcock وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods and Software Engineering هي 9783540398936, 3540398937 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540204619, 354020461X. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings 1st الإصدار تمت الكتابة بواسطة Jin Song Dong; ‎Jim Woodcock وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods and Software Engineering هي 9783540398936, 3540398937 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540204619, 354020461X. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.