دانلود کتاب Verified Functional Programming in Agda

توضیحاتی در مورد کتاب Verified Functional Programming in Agda

نام کتاب : Verified Functional Programming in Agda
عنوان ترجمه شده به فارسی : برنامه نویسی کاربردی تایید شده در Agda
سری :
نویسندگان : Aaron Stump
ناشر : ACM Books
سال نشر : 2016
تعداد صفحات : 288
ISBN (شابک) : 1970001275 , 9781970001273
زبان کتاب : English
فرمت کتاب : djvu    درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 2 مگابایت