Similar Listings
Interactive Theorem Proving in Software Engineering, Paperback by Kammuller, ...
Interactive Theorem Proving in Software Engineering (Paperback or Softback)
Interactive Theorem Proving in Software Engineering by Kammüller, Florian
Automated Theorem Proving in Software Engineering by Schumann, Johann M.
Automated Theorem Proving in Software Engineering, Hardcover by Schumann, Joh...
Automated Theorem Proving in Software Engineering, Hardcover by Schumann, Joh...
Interactive Theorem Proving in Software Engineering by Florian Kamm?ller (Englis
Automated Theorem Proving in Software Engineering by Johann M... - 9783642087592