Deductive Software Verification: Future Perspectives - 9783030643539

Deductive Software Verification Future Perspectives Reflections o

Deductive Software Verification - Future Perspectives : Reflections on the Oc...

Winkler - Software Quality Future Perspectives on Software Engineerin - X555z

Euclidean And Transformational Geometry A Deductive Inquiry Shlomo Libeskind

Introduction to Logic and the Methodology of Deductive Sciences Alfred Tarski HC

Warren Goldfarb DEDUCTIVE LOGIC hardcover 2003 GOOD