Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings تمت الكتابة بواسطة Sidney C. Nogueira, Ciprian Teodorov وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods: Foundations and Applications هي 9783031781162, 3031781163 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031781155, 3031781155. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings تمت الكتابة بواسطة Sidney C. Nogueira, Ciprian Teodorov وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods: Foundations and Applications هي 9783031781162, 3031781163 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031781155, 3031781155. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.