The Correctness-by-Construction Approach to Programming 비슷한 책 더 보기
Constructing Correct Software
2007년
Functional and Logic Programming
2008년
Fields of Logic and Computation II
2015년
Frontiers of Combining Systems
2019년
Logic-Based Program Synthesis and Transformation
2017년
Programming Languages and Systems
2010년
Functional and Logic Programming
2018년
Logic for Programming, Artificial Intelligence, and Reasoning
2015년
Logic-Based Program Synthesis and Transformation
2020년
Language and Automata Theory and Applications
2016년
Logic-Based Program Synthesis and Transformation
2008년
Declarative Programming and Knowledge Management
2014년
Logic-Based Program Synthesis and Transformation
2019년
Programming Languages and Systems
2017년
Foundations of Software Science and Computation Structures
2016년