عنوان
پدید آورنده
موضوع
رده
QA,267.3,.C87
QA
,
267
.
3
,.
C87
کتابخانه
محل استقرار
استان: أذربایجان الشرقیة ـ شهر: تبریز
English Book
Categorical combinators, sequential algorithms, and functional programming
Pierre- Louis Curien
2nd ed
Boston
Birkhauser
1993
xx, 403 P.: ill.; 24c.m
Formal languages
QA
,
267
.
3
,.
C87
Curien, Pierre- Louis
Title
Series
