خرید و دانلود نسخه کامل کتاب Temporal Verification of Reactive Systems: Safety

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

Temporal Verification of Reactive Systems: Safety

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

ناشر: Springer

سال انتشار: 1995

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

زبان: English

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

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