ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings

دانلود کتاب آموزش روش های رسمی: چهارمین کارگاه و آموزش بین المللی، FMTea 2021، رویداد مجازی، 21 نوامبر 2021، مجموعه مقالات

Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings

مشخصات کتاب

Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings

ویرایش:  
نویسندگان: , ,   
سری:  
ISBN (شابک) : 3030915492, 9783030915490 
ناشر: Springer 
سال نشر: 2022 
تعداد صفحات: [159] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 Mb 

قیمت کتاب (تومان) : 45,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب آموزش روش های رسمی: چهارمین کارگاه و آموزش بین المللی، FMTea 2021، رویداد مجازی، 21 نوامبر 2021، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب آموزش روش های رسمی: چهارمین کارگاه و آموزش بین المللی، FMTea 2021، رویداد مجازی، 21 نوامبر 2021، مجموعه مقالات

این کتاب مجموعه مقالات داوری چهارمین کارگاه و آموزش بین‌المللی، FMTea 2021 است که به عنوان بخشی از چهارمین کنگره جهانی روش‌های رسمی، FM 2021، به صورت یک رویداد مجازی در نوامبر 2021 برگزار شد. 8 مقاله کامل همراه با 2 مقاله کوتاه ارائه شده است. از بین 12 مورد ارسالی به دقت بررسی و انتخاب شدند. این مقالات در بخش‌های موضوعی با نام‌های زیر سازماندهی شده‌اند: تجربیات و پیشنهادات مربوط به یادگیری و آموزش FM آنلاین، ادغام/ تعبیه آموزش/تفکر FM در سایر دوره‌های علوم کامپیوتر، آموزش FM برای صنعت، و روش‌های یادگیری و آموزش نوآورانه برای FM.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021. The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM.





نظرات کاربران