Unifying Theories of Programming More Books Like This

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