Rigorous Software Development More Books Like This

Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2010
Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
2008
Adapting Proofs-as-Programs Adapting Proofs-as-Programs
Adapting Proofs-as-Programs
2007
Automated Deduction – CADE-21 Automated Deduction – CADE-21
Automated Deduction – CADE-21
2007
Types for Proofs and Programs Types for Proofs and Programs
Types for Proofs and Programs
2007
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2019
Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
2015
Automated Reasoning Automated Reasoning
Automated Reasoning
2008
Mathematics of Program Construction Mathematics of Program Construction
Mathematics of Program Construction
2019
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2011
Engineering Trustworthy Software Systems Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
2018
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
2011
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2018
Automated Deduction – CADE 26 Automated Deduction – CADE 26
Automated Deduction – CADE 26
2017
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2008