Reactive Kripke Semantics

خرید و دانلود نسخه کامل کتاب Reactive Kripke Semantics

معناشناسی واکنشی کریپکه

Reactive Kripke Semantics

نویسنده: Dov M. Gabbay (auth.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2013

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

زبان: English

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

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

92,000 تومان 58,000 تومان