Models of Computation More Books Like This
Machines, Computations, and Universality
2018
Central European Functional Programming School
2008
Algebraic Methodology and Software Technology
2011
Engineering Theories of Software Intensive Systems
2006
Mathematics in Computing
2020
Specification of Software Systems
2011
Functional and Logic Programming
2010
Semantics and Algebraic Specification
2009
Practical Aspects of Declarative Languages
2017
Logic-Based Program Synthesis and Transformation
2008
Logic-Based Program Synthesis and Transformation
2011
Programming Languages and Systems
2011
Functional and Logic Programming
2018
Theoretical Introduction to Programming
2005
Reversible Computation
2020