NASA Formal Methods

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ NASA Formal Methods هي 9783642380884, 3642380883 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642380877, 3642380875. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ NASA Formal Methods هي 9783642380884, 3642380883 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642380877, 3642380875. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.