NASA Formal Methods

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ NASA Formal Methods هي 9783030206529, 3030206521 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030206512, 3030206513. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ NASA Formal Methods هي 9783030206529, 3030206521 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030206512, 3030206513. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.