NASA Formal Methods

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings 1st الإصدار تمت الكتابة بواسطة Mihaela Bobaru; ‎Klaus Havelund; ‎Gerard Holzmann وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ NASA Formal Methods هي 9783642203985, 3642203981 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642203978, 3642203973. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings 1st الإصدار تمت الكتابة بواسطة Mihaela Bobaru; ‎Klaus Havelund; ‎Gerard Holzmann وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ NASA Formal Methods هي 9783642203985, 3642203981 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642203978, 3642203973. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.