• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات
  • حول الموقع
  • اتصل بنا
  • نشأة

عنوان
Categorical combinators, sequential algorithms, and functional programming

پدید آورنده
Curien, Pierre-Louis

موضوع
Formal languages

رده
QA
267
.
3
.
C87
1993

کتابخانه

محل استقرار
استان: طهران ـ شهر: طهران



تماس با کتابخانه : ۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)

CE H1

Curien, Pierre-Louis
Categorical combinators, sequential algorithms, and functional programming

2nd ed
Boston
Birkhauser
1993

xx, 403 p. : ill

Progress in theoretical computer science

Includes bibliographical references )p. 381-394( and indexes

Formal languages

QA
267
.
3
.
C87
1993

AU
Pierre-Louis Curien

English

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال