خرید و دانلود نسخه کامل کتاب Temporal Logics in Computer Science. Finite-State Systems

منطق های زمانی در علوم کامپیوتر. سیستم های حالت محدود

Temporal Logics in Computer Science. Finite-State Systems

نویسنده: Stéphane Demri, Valentin Goranko, Martin Lange

ناشر: Cambridge University Press

سال انتشار: 2016

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

زبان: English

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

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