تواریخ: رسمی سازی یک مدل زمانی (SpringerBriefs در علوم کامپیوتر)
Chronicles: Formalization of a Temporal Model (SpringerBriefs in Computer Science)
نویسنده: Thomas Guyet, Philippe Besnard
ناشر: Springer
سال انتشار: 2023
تعداد صفحات: 132
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت