دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
دانلود کتاب مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده: هفدهمین کنفرانس بین‌المللی، FORMATS 2019، آمستردام، هلند، 27 تا 29 اوت 2019، مجموعه مقالات
مشخصات کتاب
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
ویرایش: [1st ed. 2019]
نویسندگان: Étienne André. Mariëlle Stoelinga
سری: Lecture Notes in Computer Science 11750
ISBN (شابک) : 9783030296612, 9783030296629
ناشر: Springer International Publishing
سال نشر: 2019
تعداد صفحات: XVI, 301
[308]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 14 Mb
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده: هفدهمین کنفرانس بین‌المللی، FORMATS 2019، آمستردام، هلند، 27 تا 29 اوت 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
