دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science, 13487)
دانلود کتاب روش‌های رسمی برای سیستم‌های بحرانی صنعتی: بیست و هفتمین کنفرانس بین‌المللی، FMICS 2022، ورشو، لهستان، 14 تا 15 سپتامبر 2022، مجموعه مقالات (یادداشت‌های سخنرانی در علوم کامپیوتر، 13487)
مشخصات کتاب
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science, 13487)
ویرایش: [1st ed. 2022]
نویسندگان: Jan Friso Groote (editor). Marieke Huisman (editor)
سری:
ISBN (شابک) : 3031150074, 9783031150074
ناشر: Springer
سال نشر: 2022
تعداد صفحات: 255
[246]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 13 Mb
قیمت کتاب (تومان) : 47,000
در صورت تبدیل فایل کتاب Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science, 13487) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش‌های رسمی برای سیستم‌های بحرانی صنعتی: بیست و هفتمین کنفرانس بین‌المللی، FMICS 2022، ورشو، لهستان، 14 تا 15 سپتامبر 2022، مجموعه مقالات (یادداشت‌های سخنرانی در علوم کامپیوتر، 13487) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Trends and Applications in Knowledge Discovery and Data Mining: PAKDD 2017 Workshops, MLSDA, BDM, DM-BPM Jeju, South Korea, May 23, 2017, Revised Selected Papers
دانلود کتاب Hematologic Cytology of Storage Diseases
