An Introduction to Formal Programme Verification

by Ali Mili

0 ratings • 0 reviews • 0 shelved
Book cover for An Introduction to Formal Programme Verification
Shelve It

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

  • ISBN10 0442263228
  • ISBN13 9780442263225
  • Publish Date June 1985
  • Publish Status Out of Print
  • Out of Print 4 December 1992
  • Publish Country GB
  • Imprint Van Nostrand Reinhold Company
  • Format Hardcover
  • Pages 226
  • Language English