Introduction to computation Haskell, logic and automata

Bibliographische Detailangaben

Hauptverfasser:	Sannella, Donald 1956- (VerfasserIn), Fourman, Michael P. 1950- (VerfasserIn), Peng, Haoran (VerfasserIn), Wadler, Philip 1956- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cham, Switzerland Springer [2021]
Schriftenreihe:	Undergraduate topics in computer science
Schlagworte:	Theory of Computation Mathematics of Computing Computer Science Logic and Foundations of Programming Design and Analysis of Algorithms Computer science Computer science—Mathematics Algorithms Suchverfahren HASKELL Automat > Automatentheorie Datentyp
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!