احصل على د.إ. 20.45 رصيد مسترجع باستخدام بطاقة بنك المشرق نون الائتمانية. اشترك الآن. قدّم الحين
رقم الكتاب المعياري الدولي 13 | 9781970001242 |
رقم الكتاب المعياري الدولي 10 | 1970001240 |
الكاتب | Aaron Stump |
تنسيق الكتاب | Paperback |
اللغة | English |
Verified Functional Programming in Agda