خرید و دانلود نسخه کامل کتاب FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings

FME 2002: روش‌های رسمی - درست کردن IT: سمپوزیوم بین‌المللی روش‌های رسمی اروپا کپنهاگ، دانمارک، 22 تا 24 ژوئیه، 2002 مجموعه مقالات

FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings

نویسنده: Natarajan Shankar (auth.), Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2002

تعداد صفحات: 635

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 8 مگابایت