خرید و دانلود نسخه کامل کتاب Reactive systems: modelling, specification and verification

سیستم های واکنشی: مدل سازی ، مشخصات و تأیید صحت

Reactive systems: modelling, specification and verification

نویسنده: Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

ناشر: Cambridge University Press

سال انتشار: 2007

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

زبان: English

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

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