خرید و دانلود نسخه کامل کتاب Decidability, Completeness, and Extensions of Linear Temporal Logic [PhD Thesis]

تصمیم پذیری، کامل بودن و بسط منطق زمانی خطی [پایان نامه دکتری]

Decidability, Completeness, and Extensions of Linear Temporal Logic [PhD Thesis]

نویسنده: Lichtenstein O.

سال انتشار: 1991

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

زبان: English

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

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