Program Proofs

Termination Proofs for Logic Programs: 446 (Lecture Notes in Computer Science, 446)

Foundations Of Programming Statistics

Understanding Proof

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

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

C++ Programming

Proof : The Uncertain Science of Certainty

The Burden of Proof

Statistics Every Programmer Needs

PROVING GROUND THE

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

Programs as Diagrams - 9783031348297

Oracle Certified Associate Java SE 8 Programmer I 1Z0-808 Practice Tests: 260+ Questions to assess your OCA preparation: 1 (Java Certification)

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

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

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

Principles of Program Analysis - 9783642084744

C++ Programming in easy steps