خرید و دانلود نسخه کامل کتاب Dynamic logic

منطق پویا

Dynamic logic

نویسنده: David Harel, Dexter Kozen, Jerzy Tiuryn

ناشر: MIT Press

سال انتشار: 2000

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

زبان: English

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

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