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

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

Temporal Logic: Mathematical Foundations and Computational Aspects

نویسنده: Dov. M. Gabbay, Mark A. Reynolds, Marcelo Finger

ناشر: Oxford University Press, USA

سال انتشار: 2000

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

زبان: English

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

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