خرید و دانلود نسخه کامل کتاب Temporal Logic for Real-Time Systems [comp sci]

منطق زمانی برای سیستم های زمان واقعی [comp sci]

Temporal Logic for Real-Time Systems [comp sci]

نویسنده: J. Ostroff

ناشر: Wiley

سال انتشار: 1989

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

زبان: English

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

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