For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series 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
View more
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