دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings
دانلود کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: بیستمین کنفرانس بین المللی، FORMATS 2022، ورشو، لهستان، 13 تا 15 سپتامبر 2022، مجموعه مقالات
مشخصات کتاب
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings
ویرایش:
نویسندگان: Sergiy Bogomolov. David Parker
سری: Lecture Notes in Computer Science, 13465
ISBN (شابک) : 3031158385, 9783031158384
ناشر: Springer
سال نشر: 2022
تعداد صفحات: 323
[315]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 9 Mb
قیمت کتاب (تومان) : 34,000
در صورت تبدیل فایل کتاب Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: بیستمین کنفرانس بین المللی، FORMATS 2022، ورشو، لهستان، 13 تا 15 سپتامبر 2022، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
