This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
Type theory and functional programming /
"
Simon Thompson
Document Type
:
BL
Record Number
:
581471
Doc. No
:
b410690
Main Entry
:
Thompson, Simon
Title & Author
:
Type theory and functional programming /\ Simon Thompson
Publication Statement
:
Wokingham, England ;Reading, Mass. :: Addison-Wesley,, c1991
Series Statement
:
International computer science series
Page. NO
:
xv, 372 p. :: ill. ;; 24 cm
ISBN
:
0201416670
Bibliographies/Indexes
:
Includes bibliographical references (p. 347-357) and index
Subject
:
Functional programming (Computer science)
Subject
:
Type theory
LC Classification
:
QA76.62.T46 1991
https://lib.clisel.com/site/catalogue/581471
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال
1 - آیا از کیفیت منابع دیجیتال راضی هستید؟
X
کم
متوسط
زیاد
ذخیره
پاک کن