lcf

ادینبورگ LCF: منطق مکانیزه محاسبات

دانلود کتاب Edinburgh LCF: A Mechanised Logic of Computation (به فارسی: ادینبورگ LCF: منطق مکانیزه محاسبات) نوشته شده توسط «Michael J. Gordon – Arthur J. Milner – Christopher P. Wadsworth (auth.)» اطلاعات کتاب ادینبورگ LCF: منطق مکانیزه محاسبات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Michael J. Gordon – Arthur J. Milner – Christopher P. Wadsworth (auth.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1979 تعداد صفحه: 161 حجم کتاب: 1 مگابایت کد کتاب: 9783540097242 , 3540097244 نوبت چاپ: 1 توضیحات کتاب ادینبورگ LCF: منطق مکانیزه محاسبات Edinburgh LCF یک…