خرید و دانلود نسخه کامل کتاب Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings (Lecture Notes in Computer Science)

مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده: بیستمین کنفرانس بین‌المللی، FORMATS 2022، ورشو، لهستان، 13 تا 15 سپتامبر 2022، مجموعه مقالات (یادداشت‌های سخنرانی در علوم کامپیوتر)

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings (Lecture Notes in Computer Science)

نویسنده: Sergiy Bogomolov (editor), David Parker (editor)

ناشر: Springer

سال انتشار: 2022

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

زبان: English

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

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