Formal Methods for Components and Objects

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures 1st الإصدار تمت الكتابة بواسطة Frank S.de Boer; Marcello Bonsangue; Susanne Graf وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods for Components and Objects هي 9783540396567, 354039656X و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540203032, 3540203036. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures 1st الإصدار تمت الكتابة بواسطة Frank S.de Boer; Marcello Bonsangue; Susanne Graf وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods for Components and Objects هي 9783540396567, 354039656X و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540203032, 3540203036. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.