The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)Jan van Eijck
The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)
Jan van Eijck · 2004
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
על הספר
A book that presents mathematical logic and proof structure using the Haskell functional programming language, and presents Haskell using mathematical logic and proof structure.
פרטי הספר
- שנה
- 2004
- שפה
- English
- הוצאה
- King's College Publications
- מהדורות
- 1
- עמודים
- 444
- ISBN
- 9780954300692
מקור הנתונים: Wikidata
עוד של Jan van Eijck
Games Actions And Social SoftwareJan van Eijck
Games Actions And Social Software
Jan van Eijck · 2012
Computational Semantics with Functional ProgrammingJan van Eijck
Computational Semantics with Functional Programming
Jan van Eijck · 2010
Liber Amicorum Alberti. A Tribute to Albert VisserJan van Eijck
Liber Amicorum Alberti. A Tribute to Albert Visser
Jan van Eijck · 2016