دانلود کتاب ML for the Working Programmer, 2nd Edition
کتاب ML for the Working Programmer، ویرایش دوم نسخه زبان اصلی
دانلود کتاب ML for the Working Programmer، ویرایش دوم بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب ML for the Working Programmer, 2nd Edition
نام کتاب : ML for the Working Programmer, 2nd Edition
ویرایش : 2
عنوان ترجمه شده به فارسی : ML for the Working Programmer، ویرایش دوم
سری :
نویسندگان : L. C. Paulson
ناشر : Cambridge University Press
سال نشر : 1996
تعداد صفحات : 468
ISBN (شابک) : 052156543X , 9780521565431
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
Front matter
1. Standard ML
2. Names, functions and types
3. Lists
4. Trees and concrete data
5. Functions and infinite data
6. Reasoning about functional programs
7. Modules
8. Imperative programming in ML
9. Writing interpreters for the lambda-calculus
10. A tactical theorem prover
Bibliography
پست ها تصادفی