Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles هي 9783031198496, 3031198492 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031198489, 3031198484. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles هي 9783031198496, 3031198492 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031198489, 3031198484. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.