خرید و دانلود نسخه کامل کتاب Temporal Logic: Mathematical Foundations and Computational Aspects

منطق زمانی: پایه ریاضی و جنبه های محاسباتی

Temporal Logic: Mathematical Foundations and Computational Aspects

نویسنده: Dov M. Gabbay, Ian Hodkinson, Mark Reynolds

ناشر: Clarendon Press

سال انتشار: 1994

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

زبان: English

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

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