FM 2011: Formal Methods

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings 1st الإصدار تمت الكتابة بواسطة Michael Butler; ‎Wolfram Schulte وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ FM 2011: Formal Methods هي 9783642214370, 3642214371 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642214363, 3642214363. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings 1st الإصدار تمت الكتابة بواسطة Michael Butler; ‎Wolfram Schulte وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ FM 2011: Formal Methods هي 9783642214370, 3642214371 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642214363, 3642214363. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.