Software Engineering and Formal Methods

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings 1st الإصدار تمت الكتابة بواسطة Gilles Barthe; ‎Alberto Pardo; ‎Gerardo Schneider وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Software Engineering and Formal Methods هي 9783642246906, 3642246907 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642246890, 3642246893. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings 1st الإصدار تمت الكتابة بواسطة Gilles Barthe; ‎Alberto Pardo; ‎Gerardo Schneider وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Software Engineering and Formal Methods هي 9783642246906, 3642246907 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642246890, 3642246893. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.