lofs
برنامه نویسی در نظریه نوع مارتین-لوف: مقدمه
دانلود کتاب Programming in Martin-Lof’s Type Theory: An Introduction (به فارسی: برنامه نویسی در نظریه نوع مارتین-لوف: مقدمه) نوشته شده توسط «Bengt Nordstrom – Kent Petersson – Jan M. Smith» اطلاعات کتاب برنامه نویسی در نظریه نوع مارتین-لوف: مقدمه موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی ناشر: Oxford University Press, USA نویسنده: Bengt Nordstrom – Kent Petersson – Jan M. Smith زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1990 تعداد صفحه: 211 حجم کتاب: 1 مگابایت کد کتاب: 9780198538141 , 0198538146 توضیحات کتاب برنامه نویسی در نظریه نوع مارتین-لوف: مقدمه در سال های اخیر،…
نظریه تیپ مارتین-لوف
دانلود کتاب Martin-Lof’s Type Theory (به فارسی: نظریه تیپ مارتین-لوف) نوشته شده توسط «Nordstrom B. – Petersson K. – Smith J.M.» اطلاعات کتاب نظریه تیپ مارتین-لوف موضوع اصلی: 1 نوع: کتاب الکترونیکی نویسنده: Nordstrom B. – Petersson K. – Smith J.M. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) تعداد صفحه: 38 حجم کتاب: 1 مگابایت دانلود کتاب «نظریه تیپ مارتین-لوف»