عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
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
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح