Search results for ‘Matt Kaufmann,Panagiotis Manolios,J. Strother Moore’

Filter & Refine

      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…

      $1166.99

      Available to order, ships in approx 4 weeksAvailable to order