Formal Methods and Software Engineering

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings 1st الإصدار تمت الكتابة بواسطة Karin Breitman; ‎Ana Cavalcanti وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods and Software Engineering هي 9783642103735, 3642103731 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642103728, 3642103723. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings 1st الإصدار تمت الكتابة بواسطة Karin Breitman; ‎Ana Cavalcanti وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods and Software Engineering هي 9783642103735, 3642103731 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642103728, 3642103723. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.