دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Unofficial Histories of France in the Late Middle Ages
دانلود کتاب New Dimensions in Bioethics: Science, Ethics and the Formulation of Public Policy
دانلود کتاب International Organizations, Constitutional Law, and Human Rights:
دانلود کتاب Byzantine Art in the Making: Main Lines of Stylistic Development in Mediterranean Art, 3rd-7th Century
