Theoretical Aspects of Computing – ICTAC 2010 More Books Like This

Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2008
Perspectives of Systems Informatics Perspectives of Systems Informatics
Perspectives of Systems Informatics
2010
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2009
FM 2011: Formal Methods FM 2011: Formal Methods
FM 2011: Formal Methods
2011
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2011
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
2011
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2010
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2009
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
2018
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
2009
Theoretical Aspects of Computing - ICTAC 2008 Theoretical Aspects of Computing - ICTAC 2008
Theoretical Aspects of Computing - ICTAC 2008
2008
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2009
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2009
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
2008