Formal Methods in Automated Design Debugging

by Sean Safarpour

0 ratings • 0 reviews • 0 shelved
Book cover for Formal Methods in Automated Design Debugging

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

  • ISBN10 3639245733
  • ISBN13 9783639245738
  • Publish Date 2 April 2010
  • Publish Status Active
  • Publish Country DE
  • Imprint VDM Verlag
  • Format Paperback (US Trade)
  • Pages 152
  • Language English