Search results for ‘J Strother Moore’

Filter & Refine

      Cover image for Piton: A Mechanically Verified Assembly-Level Language
      Paperback
      Add to list Added to list

      Piton: A Mechanically Verified Assembly-Level Language

      J Strother Moore

      A subsequent fall would result in the climber hanging from the piton-if the piton stays in the rock, the slings and carabiners do not fail, the rope does not break…

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Hardback
      Add to list Added to list

      Piton: A Mechanically Verified Assembly-Level Language

      J Strother Moore

      A subsequent fall would result in the climber hanging from the piton-if the piton stays in the rock, the slings and carabiners do not fail, the rope does not break…

      $350.99

      Available to order, ships in approx 4 weeksAvailable to order

      Cover image for Introduction to Abstract Algebra
      Hardback
      Add to list Added to list

      Introduction to Abstract Algebra

      J. Strother Moore (Computational Logic, Inc.)

      Provides the key information for a first course in abstract algebra. This work contains a number of comments, remarks, and exercises that point students toward more advanced topics. It includes…

      $500.99

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
      Hardback
      Add to list Added to list

      Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

      David M. Russinoff

      This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification…

      $227.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
      Paperback
      Add to list Added to list

      Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

      David M. Russinoff

      This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification…

      $214.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Computer-Aided Reasoning: ACL2 Case Studies
      Paperback
      Add to list Added to list

      Computer-Aided Reasoning: ACL2 Case Studies

      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.

      $538.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Computer-Aided Reasoning: ACL2 Case Studies
      Hardback
      Add to list Added to list

      Computer-Aided Reasoning: ACL2 Case Studies

      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.

      $538.99

      Available to order, ships in 7-14 daysAvailable to order

      Book
      Add to list Added to list

      Computer-Aided Reasoning: ACL2 Case Studies

      Matt Kaufmann,Panagiotis Manolios,J. Strother Moore

      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. This title includes technical papers written…

      $1167.99

      Available to order, ships in approx 4 weeksAvailable to order

      Cover image for The Little Prover
      Paperback
      Add to list Added to list

      The Little Prover

      Daniel P. Friedman (Professor, Indiana University),Carl Eastlund

      An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.

      $128.99

      Available to order, ships in approx 2 weeksAvailable to order