خرید و دانلود نسخه کامل کتاب Verification of Reactive Systems: Formal Methods and Algorithms

تایید سیستم های واکنش پذیر: روش های رسمی و الگوریتم

Verification of Reactive Systems: Formal Methods and Algorithms

نویسنده: Klaus Schneider

ناشر: Springer

سال انتشار: 2004

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

زبان: English

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

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