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

Theorem (Paperback or Softback)

The Proving Ground: The Brand New B... by Connelly, Michael Paperback / softback

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

Noether's Theorem and Symmetry (Paperback or Softback)

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

Lightning's Limit: Cypher Theorem (Paperback or Softback)