| | Books 1 - 10 of 14 | Previous | Next | 
|  | | Introduction to Abstract Algebra
by J. Strother Moore
Hardcover, 291 Pages, Published 1975 by Academic Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | The Computational Logic Handbook (Perspectives in Computing, Vol 23)
by Robert S. Boyer, J. Strother Moore
Hardcover, 408 Pages, Published 1988 by Academic Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Computational Logic (ACM monograph series)
by Robert S. Boyer, J.Strother Moore
Hardcover, 411 Pages, Published 1980 by Academic Press Inc.,U.S.
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods) (1st Edition)
by Matt Kaufmann (Editor), Panagiotis Manolios (Editor), J Strother Moore (Editor)
Hardcover, 360 Pages, Published 2000 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Computer-Aided Reasoning: An Approach (Advances in Formal Methods) (Pt. ) (1st Edition)
by Matt Kaufmann, Panagiotis Manolios, J Strother Moore
Hardcover, 292 Pages, Published 2000 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series) (1st Edition)
by J Strother Moore
Hardcover, 328 Pages, Published 1996 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Computer Aided Reasoning Two Volume Set (1st Edition)
by Matt Kaufmann (Editor), Panagiotis Manolios (Editor), J Strother Moore (Editor)
Hardcover, 648 Pages, Published 2000 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol (SuDoc NAS 1.26:4433)
by J Strother Moore
Unknown Binding, Published 1992 by National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program For sale by the National Technical Information Service]
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Piton: A verified assembly level language (Technical report)
by J. Strother Moore
Unknown Binding, 256 Pages, Published 1988 by Computational Logic, Inc
Compare Prices | Add to Wish List | Set Price Alert |
|  | | The TXDT package: Interlisp text reading primitives (Xerox, Palo Alto Research Center technical report)
by J Strother Moore
Unknown Binding, 32 Pages, Published 1981 by Xerox, Palo Alto Research Center
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 10 of 14 | Previous | Next |
|