Mathematics of Program Construction More Books Like This
Mathematics of Program Construction
2015
Functional and Logic Programming
2018
Programming Languages and Systems
2016
Programming Languages and Systems
2017
A List of Successes That Can Change the World
2016
Programming Languages and Systems
2018
Programming Languages and Systems
2016
Functional and Logic Programming
2020
Theoretical Aspects of Computing – ICTAC 2016
2016
Logic for Programming, Artificial Intelligence, and Reasoning
2015
Logic-Based Program Synthesis and Transformation
2019
Foundations of Software Science and Computation Structures
2017
Foundations of Software Science and Computation Structures
2016
Interactive Theorem Proving
2010
Logic-Based Program Synthesis and Transformation
2015