Rethinking Productivity in Software Engineering - New Paperback - X555z

Interactive Theorem Proving in Software Engineering (Paperback or Softback)

Darnell - Software Engineering in C - New paperback or softback - X555z

Interactive Theorem Proving in Software Engineering by Kammüller, Florian

Van Eekelen - Interactive Theorem Proving Second International Confe - X555z

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

Kadono - Management of Software Engineering Innovation in Japan - New - X555z

Pythagorean Theorem for Babies, Hardcover by Ferrie, Chris; Ziniti, Mike, Lik...