Introduction to Computation : Haskell, Logic and Automata

Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler.

Introduction to Computation : Haskell, Logic and Automata - Cham Springer 2021

9783030769086


Computer science. Computer science-Mathematics. Algorithms. Theory of Computation. Mathematics of Computing. Computer Science Logic and Foundations of Programming. Design and Analysis of Algorithms.
An institution deemed to be a University Estd. Vide Sec.3 of the UGC
Act,1956 under notification # F.12-23/63.U-2 of Jun 18,1964

© 2024 BITS-Library, BITS-Hyderabad, India.