Formal Methods for Components and Objects

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Frank S. de Boer; ‎Marcello M. Bonsangue; ‎Stefan Hallerstede وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods for Components and Objects هي 9783642170713, 3642170714 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642170706, 3642170706. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Frank S. de Boer; ‎Marcello M. Bonsangue; ‎Stefan Hallerstede وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods for Components and Objects هي 9783642170713, 3642170714 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642170706, 3642170706. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.