A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design

by Norman Rubin

0 ratings • 0 reviews • 0 shelved
Book cover for A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design
Shelve It

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

  • ISBN10 1176103822
  • ISBN13 9781176103825
  • Publish Date 24 August 2011
  • Publish Status Unknown
  • Publish Country US
  • Imprint Nabu Press
  • Format Paperback (US Trade)
  • Pages 178
  • Language English