FME 2002: Formal Methods - Getting IT Right

FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings 1st الإصدار تمت الكتابة بواسطة LarsHenrik Eriksson; ‎Peter A. Lindsay وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ FME 2002: Formal Methods - Getting IT Right هي 9783540456148, 3540456147 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540439288, 3540439285. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings 1st الإصدار تمت الكتابة بواسطة LarsHenrik Eriksson; ‎Peter A. Lindsay وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ FME 2002: Formal Methods - Getting IT Right هي 9783540456148, 3540456147 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540439288, 3540439285. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.