چارچوب منطقی
Logical Frameworks
نویسنده: Gerard Huet, G. Plotkin (editors)
ناشر: CUP
سال انتشار: 1991
تعداد صفحات: 416
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت
توضیحی برای این کتاب ثبت نشده است.