Software Engineering and Formal Methods

Software Engineering and Formal Methods: 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Software Engineering and Formal Methods هي 9783032104441, 3032104440 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783032104434, 3032104432. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Software Engineering and Formal Methods: 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Software Engineering and Formal Methods هي 9783032104441, 3032104440 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783032104434, 3032104432. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.