Vampire (Theorem Prover)

Lambert M Surhone (Editor), Mariam T Tennoe (Editor), and Susan F Henssonow (Editor)

0 ratings • 0 reviews • 0 shelved
Book cover for Vampire (Theorem Prover)
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 6131386854
  • ISBN13 9786131386855
  • Publish Date 20 August 2010
  • Publish Status Unknown
  • Publish Country US
  • Imprint Betascript Publishing
  • Format Paperback (US Trade)
  • Pages 18
  • Language English