£63.00
Program Proofs
You may also like
Formalized Probability Theory and Applications Using Theorem Proving
£185.00
Structure and Interpretation of Computer Programs
£68.00
Principles of Verification: Cycling the Probabilistic Landscape
£59.99
Principles of Verification: Cycling the Probabilistic Landscape
£64.99
Principles of Verification: Cycling the Probabilistic Landscape
£59.99
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
£105.00
Principles of Formal Quantitative Analysis
£64.99
Mastering Rust Programming: From Foundations to Future
£7.99
Type-Logical Syntax
£54.00
Deductive Software Verification: Future Perspectives
£44.99
Meaning of Proofs
£22.00
Problem Solving in C and Python: Programming Exercises and Solutions, Part 1
£0.99