دانلود کتاب آموزش روشهای رسمی: دومین کنفرانس بین المللی، TFM 2009، آیندهوون، هلند، 2-6 نوامبر 2009. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
نام کتاب : Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : آموزش روشهای رسمی: دومین کنفرانس بین المللی، TFM 2009، آیندهوون، هلند، 2-6 نوامبر 2009. مجموعه مقالات
سری : Lecture Notes in Computer Science 5846 : Theoretical Computer Science and General Issues
نویسندگان : Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2009
تعداد صفحات : 185
ISBN (شابک) : 9783642049118 , 3642049117
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.