دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: نویسندگان: João F. Ferreira, Alexandra Mendes, Claudio Menghi سری: ISBN (شابک) : 3030915492, 9783030915490 ناشر: Springer سال نشر: 2022 تعداد صفحات: [159] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 Mb
در صورت تبدیل فایل کتاب 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 است که به عنوان بخشی از چهارمین کنگره جهانی روشهای رسمی، 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.