دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
دانلود کتاب روشهای رسمی یکپارچه: هجدهمین کنفرانس بین المللی ، IFM 2023 ، لیدن ، هلند ، 13 تا 15 نوامبر ، 2023 ، مجموعه مقالات
مشخصات کتاب
Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
ویرایش:
نویسندگان: Paula Herber (editor). Anton Wijs (editor)
سری: Lecture Notes in Computer Science; 14300
ISBN (شابک) : 3031477049, 9783031477041
ناشر: Springer
سال نشر: 2023
تعداد صفحات: 420
[406]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 12 Mb
قیمت کتاب (تومان) : 71,000
در صورت تبدیل فایل کتاب Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی یکپارچه: هجدهمین کنفرانس بین المللی ، IFM 2023 ، لیدن ، هلند ، 13 تا 15 نوامبر ، 2023 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The medieval craft of memory: an anthology of texts and pictures
دانلود کتاب Применение термомагнитных и гальваномагнитных явлений для исследования транспортных характеристик полупроводниковых пластин: Практикум
دانلود کتاب Companion to Comparative Literature, World Literatures, and Comparative Cultural Studies
دانلود کتاب Human-Centered Agriculture : Ergonomics and Human Factors Applied
