پیچیدگی توصیف سیستم های رسمی: نوزدهمین کنفرانس بین المللی IFIP WG 1.02 ، DCFS 2017 ، میلان ، ایتالیا ، 3-5 ژوئیه 2017 ، مجموعه مقالات
Descriptional Complexity of Formal Systems: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
نویسنده: Giovanni Pighizzini, Cezar Câmpeanu (eds.)
ناشر: Springer International Publishing
سال انتشار: 2017
تعداد صفحات: X, 311 [320]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 8 مگابایت