The Deductive Foundations of Computer Programming Paperback

The Deductive Foundations of Computer Programming: A One-Volume Version of...

The Oxford Handbook of LOGIC Deductive and Inductive - Paperback Published 1880

The Deductive Foundations of Computer Programming: A One-Volume Version of "the

The Deductive Foundations of Computer Programming by Zohar Manna: Used

Computer Science and Perl Programming : Best of the Perl Journal, Paperback b...

Axiomatising the Logic of Computer Programming, Paperback by Goldblatt, R., L...

Foundations of Java Programming for the World Wide Web Paperback