A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design (Classic Reprint)

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 (Classic Reprint)
Shelve It

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

  • ISBN10 0331712296
  • ISBN13 9780331712292
  • Publish Date 22 April 2018
  • Publish Status Active
  • Publish Country GB
  • Imprint Forgotten Books
  • Format Hardcover
  • Pages 184
  • Language English