پیچیدگی توصیفی سیستم های رسمی: بیست و پنجمین کنفرانس بین المللی IFIP WG 1.02، DCFS 2023، پوتسدام، آلمان، 4 تا 6 ژوئیه، 2023، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر)
Descriptional Complexity of Formal Systems: 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings (Lecture Notes in Computer Science)
نویسنده: Henning Bordihn (editor), Nicholas Tran (editor), György Vaszil (editor)
ناشر: Springer
سال انتشار: 2023
تعداد صفحات: 211
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت