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

Nine Parts of Desire: The Hidden World of Islamic Women
  • Year: 1995
  • Edition: 1st
  • Publisher: Anchor
  • Type: Paperback
  • ISBN13: 9780385475778
  • ISBN: 0385475772
Feminism and Pop Culture: Seal Studies
  • Year: 2008
  • Edition:
  • Publisher: Seal Press
  • Type: Paperback
  • ISBN13: 9781580052375
  • ISBN: 1580052371
Bread Givers: A Novel
  • Year: 2003
  • Edition: 3rd
  • Publisher: Persea
  • Type: Paperback
  • ISBN13: 9780892552900
  • ISBN: 0892552905