Mathematics of Program Construction 비슷한 책 더 보기

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