دانلود کتاب Programming in Martin-Lof's Type Theory: An Introduction

برنامه نویسی در نظریه نوع مارتین-لوف: مقدمه

گزارش

فروشنده‌ها

ضمانت ترب

★۵ (۳ سال در ترب)

گزارش

آیا امکان پرداخت در محل در شهر من وجود دارد؟

هزینه ارسال رایگان

موضوع

برنامه نویسی

نوع محصول

کتاب الکترونیکی

ناشر

Oxford University Press, USA

تعداد صفحات

211

نویسنده

Bengt Nordstrom, Jan M. Smith, Kent Petersson

زبان

انگلیسی

فرمت فایل

PDF

سال انتشار

1990