Foundations of Programme Verification (Wiley-Teubner series in computer science)

by Jacques Loeckx and etc.

0 ratings • 0 reviews • 0 shelved
Book cover for Foundations of Programme Verification
Shelve It

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

  • ISBN10 047190323X
  • ISBN13 9780471903239
  • Publish Date 4 February 1987
  • Publish Status Out of Print
  • Out of Print 23 August 2001
  • Publish Country GB
  • Publisher John Wiley and Sons Ltd
  • Imprint John Wiley & Sons Ltd
  • Format Hardcover
  • Pages 240
  • Language English