معرفی کتاب دانلود رایگان کتاب انجمن کتاب

جستجو در تک بوک با گوگل!


Programming in Martin-Lofs Type Theory: An Introduction

Programming in Martin-Lofs Type Theory: An Introduction

Programming in Martin-Lofs Type Theory: An Introduction

Programming in Martin-Lofs Type Theory: An Introduction | Author(s): Bengt Nordstrom, Kent Petersson, Jan M. Smith | Publisher: Oxford University Press, USA | Year: 1990 | Language: English | Pages: 211 | Size: 1 MB | Extension: pdf…


دانلود کتاب

برچسب ها

ارسال دیدگاه جدید

به نکات زیر توجه کنید

  • نظرات شما پس از بررسی و تایید نمایش داده می شود.
  • لطفا نظرات خود را فقط در مورد مطلب بالا ارسال کنید.



تمامی حقوق و مطالب سایت برای تک بوک محفوظ است و هرگونه کپی برداری بدون ذکر منبع ممنوع می باشد.


فید نقشه سایت

تمامی حقوق برای سایت تک بوک محفوظ میباشد