Introduction to Computation : Haskell, Logic and Automata /

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

Bibliographic Details

Main Authors:	Sannella, Donald (Author), Fourman, Michael (Author), Peng, Haoran (Author), Wadler, Philip (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition:	1st ed. 2021.
Series:	Undergraduate Topics in Computer Science,
Subjects:	Computer science. Computer science-Mathematics. Algorithms. Theory of Computation. Mathematics of Computing. Computer Science Logic and Foundations of Programming. Design and Analysis of Algorithms. Electronic books.
Online Access:	Connect to the full text of this electronic book