Interactive Theorem Proving in Software Engineering, Paperback by Kammuller, ...

Theorem (Paperback or Softback)

Cost Estimation in Software Product Line Engineering (Paperback or Softback)

Proving History by Richard C. Carrier Hardcover – Bayes's Theorem, Jesus

Proving History Baye's Theorem and the Quest for the Historical Jesus R Carrier

Noether's Theorem and Symmetry (Paperback or Softback)