خرید و دانلود نسخه کامل کتاب Temporal logic for real-time systems

منطق زمانی برای سیستم های بلادرنگ

Temporal logic for real-time systems

نویسنده: Ostroff J.S.

ناشر: Wiley

سال انتشار: 1989

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

زبان: English

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

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