دانلود کتاب Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings
کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: پانزدهمین کنفرانس بین المللی، FORMATS 2017، برلین، آلمان، 5-7 سپتامبر 2017: مجموعه مقالات نسخه زبان اصلی
دانلود کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: پانزدهمین کنفرانس بین المللی، FORMATS 2017، برلین، آلمان، 5-7 سپتامبر 2017: مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings
نام کتاب : Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings
عنوان ترجمه شده به فارسی : مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: پانزدهمین کنفرانس بین المللی، FORMATS 2017، برلین، آلمان، 5-7 سپتامبر 2017: مجموعه مقالات
سری : Lecture Notes in Computer Science 10419; LNCS Sublibrary: SL1 - Theoretical Computer Science and General Issues
نویسندگان : Abate. Alessandro, Geeraerts. Gilles
ناشر :
سال نشر : 2017
تعداد صفحات : 352
ISBN (شابک) : 9783319657646 , 9783319657653
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 14 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی