Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV تمت الكتابة بواسطة Author وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends هي 9783030837235, 3030837238 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030837228, 303083722X. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV تمت الكتابة بواسطة Author وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends هي 9783030837235, 3030837238 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030837228, 303083722X. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.