دانلود کتاب 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
ویرایش : 1
عنوان ترجمه شده به فارسی : FME 2002: روشهای رسمی - درست کردن IT: سمپوزیوم بینالمللی روشهای رسمی اروپا کپنهاگ، دانمارک، 22 تا 24 ژوئیه، 2002 مجموعه مقالات
سری : Lecture Notes in Computer Science 2391
نویسندگان : Natarajan Shankar (auth.), Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2002
تعداد صفحات : 638
ISBN (شابک) : 3540439285 , 9783540439288
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.