دانلود کتاب Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures (Lecture Notes in Computer Science)
کتاب روشهای رسمی برای دنیای غیررسمی: مدرسه تابستانی ICTAC 2021 ، رویداد مجازی ، آستانه ، قزاقستان ، 1-7 سپتامبر 2021 ، سخنرانی های آموزشی (یادداشت های سخنرانی در علوم کامپیوتر) نسخه زبان اصلی
دانلود کتاب روشهای رسمی برای دنیای غیررسمی: مدرسه تابستانی ICTAC 2021 ، رویداد مجازی ، آستانه ، قزاقستان ، 1-7 سپتامبر 2021 ، سخنرانی های آموزشی (یادداشت های سخنرانی در علوم کامپیوتر) بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures (Lecture Notes in Computer Science)
نام کتاب : Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures (Lecture Notes in Computer Science)
عنوان ترجمه شده به فارسی : روشهای رسمی برای دنیای غیررسمی: مدرسه تابستانی ICTAC 2021 ، رویداد مجازی ، آستانه ، قزاقستان ، 1-7 سپتامبر 2021 ، سخنرانی های آموزشی (یادداشت های سخنرانی در علوم کامپیوتر)
سری :
نویسندگان : Antonio Cerone (editor)
ناشر : Springer
سال نشر : 2023
تعداد صفحات : 184
[180]
ISBN (شابک) : 3031436776 , 9783031436772
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 16 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.