Correct-Program Technology/Extensibility of Verifiers: Two Papers on Program Verification (Classic Reprint)

by Martin Davis

0 ratings • 0 reviews • 0 shelved
Book cover for Correct-Program Technology/Extensibility of Verifiers
Shelve It

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

  • ISBN10 1332116779
  • ISBN13 9781332116775
  • Publish Date 29 December 2018
  • Publish Status Active
  • Publish Country GB
  • Imprint Forgotten Books
  • Edition Annotated edition
  • Format Paperback (US Trade)
  • Pages 156
  • Language English