Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)

Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)

  • List Price: $379.00
  • ISBN-10: 0792378490
  • ISBN-13: 9780792378495
  • Edition: 2000th
  • Type: Hardcover
  • Publisher: Springer

About The Book

Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to... Read more

FINDING THE BEST PRICES

Related Books

Grief: A Novel
  • Year: 2007
  • Edition: Reprint
  • Publisher: Hachette Books
  • Type: Paperback
  • ISBN13: 9781401308940
  • ISBN: 1401308945
Giovanni's Room
  • Year: 2000
  • Edition: 14656th
  • Publisher: Delta
  • Type: Paperback
  • ISBN13: 9780385334587
  • ISBN: 0385334583
Nine Parts of Desire: The Hidden World of Islamic Women
  • Year: 1995
  • Edition: 1st
  • Publisher: Anchor
  • Type: Paperback
  • ISBN13: 9780385475778
  • ISBN: 0385475772