Correct-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. by Martin Davis and J.T. Schwartz

by Martin Davis and J T Schwartz

0 ratings • 0 reviews • 0 shelved
Book cover for Correct-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. by Martin Davis and J.T. Schwartz

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

  • ISBN10 1175746789
  • ISBN13 9781175746788
  • Publish Date 21 August 2011
  • Publish Status Unknown
  • Publish Country US
  • Imprint Nabu Press
  • Format Paperback (US Trade)
  • Pages 152
  • Language English