20 results
Type of media (2)
Availability (3)
Classification (7)
Year
Persons
Publishers
Sort by
Results per page
Filter
20 results

Your search for J. Strother Moore

  1. Cover: Formal Verification of Floating-Point Hardware Design - Springer
    David M. Russinoff
    Formal Verification of Floating-Point Hardware Design
    A Mathematical Approach
    10/2018
    1st EDN1st Edition
    Springer
    9783319955131 (ISBN)
    E-Book
    PDF
    Other editions
    €90.94
    Available for download
    New edition available
  2. Cover: Computer-Aided Reasoning - Springer
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    ACL2 Case Studies
    04/2013
    Springer
    9781475731880 (ISBN)
    E-Book
    PDF
    Other editions
    €213.99
    Available for download
  3. Cover: Computer-Aided Reasoning - Springer
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    An Approach
    12/2012
    Springer
    9781461544494 (ISBN)
    E-Book
    PDF
    Other editions
    €259.00
    Available for download
  4. Cover: Introduction to Abstract Algebra - Academic Press
    J. Strother Moore
    Introduction to Abstract Algebra
    06/2014
    Academic Press
    9780080924885 (ISBN)
    E-Book
    PDF
    Other editions
    €86.95
    Available for download
  5. Cover: A Computational Logic - Academic Press
    Robert S. Boyer | J. Strother Moore | Thomas A. Standish
    A Computational Logic
    06/2014
    Academic Press
    9781483277882 (ISBN)
    E-Book
    PDF
    Other editions
    €54.95
    Available for download
  6. Cover: A Computational Logic Handbook - Academic Press
    Robert S. Boyer | J. Strother Moore | Werner Rheinboldt
    A Computational Logic Handbook
    Formerly Notes and Reports in Computer Science and Applied Mathematics
    05/2014
    Academic Press
    9781483277783 (ISBN)
    E-Book
    PDF
    Other editions
    €54.95
    Available for download
  7. Cover: Formal Verification of Floating-Point Hardware Design - Springer
    David M. Russinoff
    Formal Verification of Floating-Point Hardware Design
    A Mathematical Approach
    01/2019
    Springer
    9783030070489 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €90.94
    Shipment within 7-9 days
  8. Cover: Formal Verification of Floating-Point Hardware Design - Springer
    David M. Russinoff
    Formal Verification of Floating-Point Hardware Design
    A Mathematical Approach
    10/2018
    Springer
    9783319955124 (ISBN)
    Book
    Hardback
    Other editions
    €90.94
    Exhausted; check for reprint
    New edition available
  9. Cover: Computer-Aided Reasoning - Springer
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    An Approach
    10/2012
    Springer
    9781461370031 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €266.43
    Exhausted; check different version
  10. Cover: The Little Prover - MIT Press
    Daniel P. Friedman | Carl Eastlund
    The Little Prover
    07/2015
    MIT Press
    9780262527958 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.50
    Shipment within 10-20 days
  11. Cover: Computer-Aided Reasoning - Springer
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    ACL2 Case Studies
    12/2010
    Springer
    9781441949813 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €213.99
    Shipment within 15-20 days
  12. Cover: Piton - Springer
    J. Strother Moore
    Piton
    A Mechanically Verified Assembly-Level Language
    10/2013
    Springer
    9789401737913 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 15-20 days
  13. Cover: Piton - Kluwer Academic Publishers
    J. Strother Moore
    Piton
    A Mechanically Verified Assembly-Level Language
    01/1996
    Kluwer Academic Publishers
    9780792339205 (ISBN)
    Book
    Hardback
    Other editions
    €96.00
    Article not available at the moment
  14. Cover: Computer-Aided Reasoning - Kluwer Academic Publishers
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    An Approach
    07/2000
    Kluwer Academic Publishers
    9780792377443 (ISBN)
    Book
    Hardback
    Other editions
    €266.43
    Exhausted; check different version
  15. Cover: Introduction to Abstract Algebra - Academic Press
    J. Strother Moore
    Introduction to Abstract Algebra
    05/1975
    Academic Press
    9780125057509 (ISBN)
    Book
    Hardback
    Other editions
    €108.94
    Exhausted; check for reprint
    New edition available
  16. Cover: Computer-Aided Reasoning - Kluwer Academic Publishers
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    ACL2 Case Studies
    06/2000
    Kluwer Academic Publishers
    9780792378495 (ISBN)
    Book
    Hardback
    Other editions
    €213.99
    Shipment within 15-20 days
  17. This image is currently not available.
    Robert S. Boyer | J. Strother Moore
    The Computational Logic Handbook
    11/1997
    Academic Press
    9780121229528 (ISBN)
    Book
    Hardback
    Other editions
    €74.22
    Exhausted; check different version
  18. This image is currently not available.
    Robert S. Boyer | J. Strother Moore
    Computational Logic
    01/1979
    Academic Press
    9780121229504 (ISBN)
    Book
    Hardback
    Other editions
    €79.86
    Exhausted; check different version
  19. This image is currently not available.
    Robert S. Boyer | J. Strother Moore
    The Correctness Problem in Computer Science
    11/1997
    Academic Press
    9780121229207 (ISBN)
    Book
    Hardback
    €69.33
    Exhausted; no reprint
  20. This image is currently not available.
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    ACL2 Case Studies
    06/2000
    Kluwer Academic Publishers
    9780792378808 (ISBN)
    Book
    €317.50
    Exhausted, reprint undefined