search for books and compare prices
J. Strother Moore has written 4 work(s)
Search for other authors with the same name
displaying 1 to 4 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9780792339205 Cover for 9789401737913 Cover for 9780792377443 Cover for 9781461370031 Cover for 9780792378495 Cover for 9781441949813 Cover for 9780121229528 Cover for 9780121229559
Piton: A Mechanically Verified Assembly-Level Language
cover image for 9789401737913
By J. Strother Moore
See complete details on each edition (2 editions listed)

Hardcover:

9780792339205 | Kluwer Academic Pub, March 1, 1996, cover price $229.00

Paperback:

9789401737913 | Springer-Verlag New York Inc, October 3, 2013, cover price $99.00

Computer-Aided Reasoning: An Approach
cover image for 9781461370031
By Matt Kaufmann, Panagiotis Manolios and J. Strother Moore
See complete details on each edition (2 editions listed)

Hardcover:

9780792377443 | Kluwer Academic Pub, June 1, 2000, cover price $329.00

Paperback:

9781461370031 | Reprint edition (Springer-Verlag New York Inc, October 12, 2012), cover price $329.00

Computer-Aided Reasoning: Acl2 Case Studies
cover image for 9781441949813
Product Description: Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. Included here are technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects...read more
By Matt Kaufmann, Panagiotis Manolios and J. Strother Moore
See complete details on each edition (3 editions listed)

Hardcover:

9780792378808 | Springer-Verlag New York Inc, June 1, 2000, cover price $329.00 | About this edition: Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems.
9780792378495 | Kluwer Academic Pub, June 1, 2000, cover price $379.00 | About this edition: Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems.

Paperback:

9781441949813 | Springer Verlag, June 1, 2000, cover price $379.00 | About this edition: Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems.

Computational Logic Handbook
cover image for 9780121229559
Product Description: This book provides the definitive documentation for one of the most well-known and highly regarded theorem-proving programs ever written. The program described is one of the more significant, enduring, and prize-awarded accomplishments in the fields of artificial intelligence, formal methods, and applied logic...read more
By Robert S. Boyer and J. Strother Moore
See complete details on each edition (2 editions listed)

Hardcover:

9780121229559 | 2 edition (Academic Pr, October 1, 1997), cover price $90.95 | About this edition: This book provides the definitive documentation for one of the most well-known and highly regarded theorem-proving programs ever written.
9780121229528, titled "The Computational Logic Handbook" | Academic Pr, November 1, 1988, cover price $71.00 | About this edition: Contains a precise and complete description of the computational logic developed by the authors; will serve also as a reference guide to the associated mechanical theorem proving system.

displaying 1 to 4 | at end