English
  • إرجاع مجاني بسهولة
  • أفضل عروض

Verified Functional Programming in Agda

احنا آسفين! المنتج ده مش موجود.
1
متوفر قريبا
نظرة عامة
المواصفات
رقم الكتاب المعياري الدولي 139781970001242
رقم الكتاب المعياري الدولي 101970001240
الكاتبAaron Stump
تنسيق الكتابPaperback
اللغةEnglish

Verified Functional Programming in Agda

في عربة التسوق atc
مجموع العربة 0.00 جنيه
Loading