NASA Formal Methods

NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ NASA Formal Methods هي 9783031937064, 3031937066 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031937057, 3031937058. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ NASA Formal Methods هي 9783031937064, 3031937066 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031937057, 3031937058. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.