Integrated Formal Methods

Integrated Formal Methods: 20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Integrated Formal Methods هي 9783032107947, 3032107946 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783032107930, 3032107938. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Integrated Formal Methods: 20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Integrated Formal Methods هي 9783032107947, 3032107946 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783032107930, 3032107938. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.