1. Introduction to computation : Haskell, logic and automata

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

Publisher: Cham : Springer, 2021Availability: Items available for loan: [Call number: 511.3 SAN] (1).
2. Automata theory and formal languages

by Homenda, Władysław.

Publisher: Berlin : De Gruyter, 2022Availability: Items available for loan: [Call number: 004.015113 HOM] (1).

Powered by Koha