راهنمای منطق در علوم کامپیوتر. جلد 2: زمینه: ساختارهای محاسباتی
Handbook of Logic in Computer Science. Volume 2: Background: Computational structures
نویسنده: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
ناشر: Clarendon Press
سال انتشار: 1992
تعداد صفحات: 582
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت