Mathematics of Program Construction More Books Like This
Programming Languages and Systems
2022
Mathematics of Program Construction
2019
Algebraic Methodology and Software Technology
2011
Functional and Logic Programming
2022
Mathematics of Program Construction
2015
Recent Trends in Algebraic Development Techniques
2021
Semantics and Algebraic Specification
2009
Programming Languages and Systems
2023
Theorem Proving in Higher Order Logics
2008
Functional and Logic Programming
2018
Programming Languages and Systems
2009
Logic-Based Program Synthesis and Transformation
2022
Functional and Logic Programming
2016
Programming Languages and Systems
2011
Rewriting Logic and Its Applications
2018