خرید و دانلود نسخه کامل کتاب Advances in Temporal Logic

پیشرفت در منطق زمانی

Advances in Temporal Logic

نویسنده: Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.)

ناشر: Springer Netherlands

سال انتشار: 2000

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

زبان: English

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

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