Introduction to computation : Haskell, logic and automata / Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler.
Computation is a process of calculation involving arithmetic and logical steps, following a given set of rules (an algorithm). This uniquely accessible textbook introduces students to computation using a very distinctive approach, quite rapidly leading them into essential topics with sufficient dept...
Full description
Saved in:
Bibliographic Details
| Main Authors: |
Sannella, D. (Donald), 1956-
(Author),
Fourman, Michael
(Author),
Peng, Haoran
(Author),
Wadler, Philip, 1956-
(Author) |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Cham :
Springer,
[2021]
|
|---|
| Series: | Undergraduate topics in computer science.
|
|---|
| Subjects: | |
|---|
| Online Access: | Click for online access
|
|---|