دانلود کتاب Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
by Erika Ábrahám
|
عنوان فارسی: روش رسمی برای قطعات و اشیاء: اولین سمپوزیوم بین المللی، FMCO 2002، لیدن هلند، نوامبر 5-8، سال 2002، سخنرانی تجدید نظر |