مقدمه ای بر محاسبات: هاسکل، منطق و اتومات
Introduction to Computation: Haskell, Logic and Automata
نویسنده: Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler
ناشر: Springer
سال انتشار: 2022
تعداد صفحات: 371
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 9 مگابایت