خرید و دانلود نسخه کامل کتاب Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings (Lecture Notes in Computer Science)

مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده: بیست و یکمین کنفرانس بین‌المللی، FORMATS 2023، آنتورپ، بلژیک، 19 تا 21 سپتامبر 2023، مجموعه مقالات (یادداشت‌های سخنرانی در علوم کامپیوتر)

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings (Lecture Notes in Computer Science)

نویسنده: Laure Petrucci (editor), Jeremy Sproston (editor)

ناشر: Springer

سال انتشار: 2023

تعداد صفحات: 190

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 7 مگابایت