Unifying Theories of Programming 更多类似的图书

Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
Theoretical Aspects of Computing – ICTAC 2010
2010年
Theoretical Aspects of Computing – ICTAC 2016 Theoretical Aspects of Computing – ICTAC 2016
Theoretical Aspects of Computing – ICTAC 2016
2016年
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2015年
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2016年
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2015年
Unifying Theories of Programming Unifying Theories of Programming
Unifying Theories of Programming
2019年
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2009年
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2019年
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2018年
Theoretical Aspects of Computing – ICTAC 2017 Theoretical Aspects of Computing – ICTAC 2017
Theoretical Aspects of Computing – ICTAC 2017
2017年
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2007年
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2008年
Theoretical Aspects of Computing - ICTAC 2008 Theoretical Aspects of Computing - ICTAC 2008
Theoretical Aspects of Computing - ICTAC 2008
2008年
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年