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

Verified Functional Programming in Agda

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

Verified Functional Programming in Agda

تمت الإضافة لعربة التسوقatc
مجموع السلة 0.00
Loading