Formal Methods for Components and Objects

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures 1st الإصدار تمت الكتابة بواسطة Frank S. de Boer; ‎Marcello M. Bonsangue; ‎Susanne Graf وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods for Components and Objects هي 9783540319399, 3540319395 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540291312, 3540291318. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures 1st الإصدار تمت الكتابة بواسطة Frank S. de Boer; ‎Marcello M. Bonsangue; ‎Susanne Graf وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods for Components and Objects هي 9783540319399, 3540319395 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540291312, 3540291318. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.