J Strother Moore

J Strother Moore is the author of "Computer-Aided Reasoning", "Formal Verification of Floating-Point Hardware Design", "Piton" and "A Computational Logic".

Books by J Strother Moore

A Computational L...
Boyer, Robert S.
Hardback: $71.00

A Computational L...
Boyer, Robert S.
Hardback: $74.00

Computer-Aided Re...
Kaufmann, Matt
Electronic book text: $329.00

Formal Verificati...
Russinoff, David M.
Hardback: $99.99

Piton
Moore, J. Strother
Paperback: $54.99

Introduction to A...
Moore, J. Strother
Electronic book text: $119.00

A Computational L...
Boyer, Robert S.
Electronic book text: $72.95

Computer-Aided Re...
Kaufmann, Matt
Hardback: $329.00

Computer-Aided Re...
Kaufmann, Matt
Hardback:

A Computational L...
Boyer Robert S.
Hardback: $84.00

Computer-Aided Re...
Kaufmann Matt
Paperback: $219.99