دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Ganzheitliche Produktionssysteme: Aktueller Stand und zukünftige Entwicklungen
دانلود کتاب Louisa May Alcott
دانلود کتاب Washington on Washington
دانلود کتاب Boomer Bust?: Economic and Political Issues of the Graying Society (2 Volumes)
