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