خرید و دانلود نسخه کامل کتاب Temporal verification of reactive systems: progress

تأیید موقتی سیستم های واکنشی: پیشرفت

Temporal verification of reactive systems: progress

نویسنده: Manna Z., Pnueli A.

ناشر: web draft

سال انتشار: 1996

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

زبان: English

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

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