حقيقة.!

The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types.pdf

رسائل ماجستير ورسائل دكتوراة في علم الحاسوب.pdf ( 933 ) :: The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types رسالة ماجستير - تحميل مباشر

تفاصيل كتاب The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types.pdf

التصنيف: رسائل ماجستير ودكتوراه -> علم الحاسوب
حجم الملف: 2,090 KB
نوع الملف: pdf
أضيف بواسطة: Y4$$3R N3T
بتاريخ: 19-08-2018
عدد مرات التحميل: 2
مرات الارسال: 24

عرض جميع الكتب التي أضيفت بواسطة: Y4$$3R N3T