Software Engineering and Formal Methods

Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings تمت الكتابة بواسطة Alexandre Madeira, Alexander Knapp وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Software Engineering and Formal Methods هي 9783031773822, 3031773829 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031773815, 3031773810. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings تمت الكتابة بواسطة Alexandre Madeira, Alexander Knapp وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Software Engineering and Formal Methods هي 9783031773822, 3031773829 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031773815, 3031773810. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.