Models of Computation More Books Like This

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