Rethinking Productivity in Software Engineering - New Paperback - X555z

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

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

Interactive Theorem Proving in Software Engineering (Paperback or Softback)

Van Eekelen - Interactive Theorem Proving Second International Confe - X555z

Automated Theorem Proving: A Logical Basis Loveland, Donald W.:

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

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