Program Proofs

Proof Theory and Logic Programming: Computation as Proof Search

Foundations Of Programming Statistics

Understanding Proof

Programme Evaluation

The Proof of God

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation)

Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)

C++ Programming

The Burden of Proof

Statistics Every Programmer Needs

Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)

Programs as Diagrams - 9783031348297

OCA: Oracle Certified Associate Java SE 8 Programmer I Study Guide: Exam 1Z0-80

Science Of Learning Mathematical Proofs, The: An Introductory... - 9789811225512

Software Testing: An ISTQB-BCS Certified Tester Foundation gui .

Computer Programming: The Bible: Learn From The Basics to Advanc

Structure and Interpretation of Computer Progra... - Harold Abelson - Good - ...

Points to Prove

Proof Compendium

C How to Program: With Case Studies introducing Applications Programming and Systems Programming, Global Edition: With Case Studies in Applications and SystemsProgramming, Global Edition

Modern C++ Programming with Test–Driven Development

Proof: The Uncertain Science of Certainty