Verified Functional Programming in Agda More Books Like This
Logic And Declarative Language
2004
Concepts and Semantics of Programming Languages 1
2021
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
2022
Formal Methods in Computer Science
2019
Computer Science: Questions and Answers
2017
An Introduction to the Analysis of Algorithms
2018
Mathematics and Programming for Machine Learning with R
2020