Rating: 0 out of 5 stars
0 ratings
Loading
JM![]()
author
J Strother Moore
Books by J Strother Moore
A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied Mathematics Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Rating: 0 out of 5 stars0 ratingsA Computational Logic Rating: 0 out of 5 stars0 ratings