Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

J Strother Moore

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

Books by J Strother Moore
Introduction to A...
Moore, J. Strother
Hardback: $127.00
A Computational L...
Boyer, Robert S.
Electronic book text: $72.95
Piton
Moore, J. Strother
Paperback: $54.99
Introduction to A...
Moore, J. Strother
Electronic book text: $119.00
A Computational L...
Boyer, Robert S.
Hardback: $71.00
Computer-Aided Re...
Kaufmann Matt
Hardback: $219.99
Computer-Aided Re...
Kaufmann, Matt
Hardback: $329.00
Piton
Moore, J. Strother
Electronic book text: $99.00
Formal Verificati...
Russinoff, David M.
Hardback: $99.99
A Computational L...
Boyer Robert S.
Hardback: $84.00
The Correctness P...
Boyer, Robert S.
Hardback: $108.00
Formal Verificati...
Russinoff, David M.
Paperback: $99.99